// JavaScript Document

function cambiaidioma() {
	var seleccion = document.getElementById('idioma').selectedIndex;
	var valor = document.getElementById('idioma').value;
	this.location.href="/idioma.php?idioma="+valor;
}