function verifica_tecla(e) { //comprobamos la tecla que se presiona en el campo de texto password. Si techa=enter -> form.submit
	var keycode;
	if (window.event)
		keycode = window.event.keyCode;
	else if (e.which)
		keycode = e.which;
	else
		return true;
	if (keycode == 13) {	
  	document.frm_login.submit();
	}
}

function check_clauer() { //cuando se pincha el boton de acceso con clauer comprobamos si hay un clauer válido conectado
  try {
    if (Clauer.setClauerActive("",false)) {
      vCred=Clauer.getClauerToken ("AIRMETPT","","");
      if (vCred != "") {
        document.getElementById("vCred").value=vCred;
				document.frm_login.submit();
				return false;
      }
    }
  }
  catch(e) {}
	return true;
}