var menuabierto="";
function abrirmenu (menu) {
	document.getElementById("submenu"+menu).style.visibility="visible";
	menuabierto=menu;
}
function cerrarmenu () {
	if (menuabierto) document.getElementById("submenu"+menuabierto).style.visibility="hidden";
	menuabierto="";
}

var idiomaactivo="";
function abrirbandera (idioma) {
	document.getElementById("idioma_"+idioma).className="idioma "+idioma;
	idiomaactivo=idioma;
}
function cerrarbandera () {
	if (idiomaactivo) document.getElementById("idioma_"+idiomaactivo).className="idioma";
	idiomaactivo="";
}