function setfocus(fieldname)
{ 
  fieldname.focus(); 
}

function SubmitPasswordRequest() 
{
  if(trim(document.loginform.userid.value) == "")
  {
    alert('Vul eerst een HDO-nummer in.');
    setfocus(document.loginform.userid);
    return; 
  }      
  document.loginform.elements['do'].value='requestpassword';
  document.loginform.module.value='login';
  document.loginform.submit();
}

function checkEnter(event)
{  
  var code = 0;
  if (!event)
  { 
    event = window.event;  
  }  
  code = event.keyCode;
  if (code==13)
  {
    document.loginform.elements['do'].value = 'trylogin'
    document.loginform.submit();
  }
}

function trim(s) 
{ 
  s=s.replace(/^\s*/,"");
  return s.replace(/\s*$/,"");
}