function cambia_idioma(idioma){

/*guarda el idioma en una cookie (caduca en un mes) */

	hoy = new Date()
	fecha_caducidad = new Date(hoy.getYear(), hoy.getMonth()+1, hoy.getDate())

	document.cookie = "idioma="+idioma+"; path=/; expires=" + fecha_caducidad.toGMTString();

	re = /\/espanol\/|\/catalan\/|\/ingles\//g; 
	nueva_url = document.location.href.replace(re, "/"+idioma+"/"); 
	
	document.location.href=nueva_url

}

menu_actual = 0

function menu(item){

	obj = document.getElementById("menu"+item)
	if (obj.style.display=="none"){
		obj.style.display="block"
		if (item > 10) document.getElementById("menu10").style.display="block"
	}
	else
		obj.style.display="none"



	if ((menu_actual!=0) && (item <= 10)){
		obj = document.getElementById("menu"+menu_actual)
		obj.style.display="none"

		if ((menu_actual> 10)){
			obj = document.getElementById("menu10")
			obj.style.display="none"
		}
	}


	if (menu_actual == item)
		menu_actual=0
	else
		menu_actual = item


	resize_contenedor()
	
}


function resize_contenedor(){
	h=(document.body.scrollHeight)
//	if (h > top.document.body.offsetHeight-150) h = top.document.body.offsetHeight-150
	a=parent.document.getElementById("iframe_menu")
	a.height=h+"px"


// a veces el menu no sale porque el iframe termina de cargarse antes que la página, entonces h vale 0
// cuando h vale 0 espero 1 segundo y vuelvo a llamar a la funcion.

	if (h==0) setTimeout("resize_contenedor()",1000)
}

function activar_menu(){

	menu_desplegar = document.location.href
	pos = menu_desplegar.indexOf("menu=")+5

	if (pos != 4){
		menu_desplegar = menu_desplegar.substring(pos, document.location.href.length) 
		menu(menu_desplegar)
	}


}