function focusLogin() {
  document.loginform.user.focus();
}