function takeFocus () {
    if (document.forms.login && document.forms.login.user) document.forms.login.user.focus();
    else window.focus();
  }