function cambiar_idioma() {
	var idioma = document.getElementById("idioma").value;
	var pagina="../"+idioma;
	location.href=pagina;
}