// Redireccciona a la página que cambia de idioma
function cambia_idioma(idioma, url)
{	
	location.href='cambiar_idioma.php?url='+url+'&idioma='+idioma;
}

function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}

function pulsar(e) {
	tecla=(document.all) ? e.keyCode : e.which;
  if(tecla==13) return false;
}