function showIdiomas() {
	// Intercambia el estilo visible/invisible de la lista de opciones
	var style = document.getElementById("idioma-opciones").style.display;
	style = (style=="block") ? "none" : "block";
	document.getElementById("idioma-opciones").style.display = style;
}

function selectIdiomas(destino, campo) {
	showIdiomas();
	var link = document.getElementById("idioma-link");
	var seleccionado = document.getElementById("idioma-seleccionado");
	// cambia el texto seleccionado
	seleccionado.innerHTML = campo.innerHTML;
	// cambia el target del link
	link.href = destino;
	// Esconde el cuadro de selección
	//showIdiomas();
}