// preload hover-effekt for navigation
var foo = new Image();
foo.src = "img/navibit_hover.gif";


function handle_focus(what, focus)
{
  if(what == "user")
    idname = "quicklogin_user";
  else if(what == "password")
    idname = "quicklogin_password";
  else if(what == "username")
    idname = "quicksearch_username";
  ctrl = document.getElementById(idname);
  value = ctrl.value;
  
  if(focus)
  {
    if((what == "user") && (value == "(Username)"))
      ctrl.value = "";
    else if((what == "password") && (value == "(Passwort)"))
      ctrl.value = "";
    else if((what == "username") && (value == "(Usersuche)"))
      ctrl.value = "";
  }
  else
  {
    if(value == "")
    {
      if(what == "user")
        ctrl.value = "(Username)";
      else if(what == "password")
        ctrl.value = "(Passwort)";
      else if(what == "username")
        ctrl.value = "(Usersuche)";
    }
  }
}