<!--hide this script from non-javascript-enabled browsers

function disableEnterKey(e)
{
     var key;
     if(window.event)
          key = window.event.keyCode;    
     else
          key = e.which;     
     if(key == 13)
          document.loginheader.submit();
     else
          return true;
}


// stop hiding -->