function change_image(image_name, image_file )
{
  document[image_name].src = image_file;
}


function cambiar_a_ingles(archivo_ingles)
{
	document.write('<br>\n');
	document.write('<font face="arial" color=black size=2>\n');
	document.write('<a class=whitelink href="',archivo_ingles,'">\n');
	document.write('English</a>\n');
}

function cambiar_a_espanol(archivo_espanol)
{
	document.write('<br>\n');
	document.write('<font face="arial" color=black size=2>\n');
	document.write('<a class=whitelink href="',archivo_espanol,'">\n');
	document.write('Espaņol</a>\n');
}