<!-- cambiar_idioma.js

//Codigo para redirecionar al nuevo idioma seleccionado la pagina principal.

function cambiar_idioma (idiomaIn, idiomaOut)
{
	var oldUrl = "" + top.document.location;
	var newUrl = "";

	var reString = "/\\\/" + idiomaIn + "\\/\/";
	var replaceString = "/" + idiomaOut + "/";

	newUrl = oldUrl.replace (eval(reString), replaceString);

	top.document.location.href = newUrl;
}

// -->