function seleccionado(opcion){
		document.getElementById(opcion).className="activo";
}
function abre(){
		hrefActual = document.location.href;
		ingles = "-en.shtml"
		espaniol = ".shtml"
		if (hrefActual.indexOf(ingles)>0)
		{
			nombrepagina  = hrefActual.replace(ingles, espaniol);
		}
		else
		{
			nombrepagina  = hrefActual.replace(espaniol,ingles);
		}	
		return nombrepagina;
}