function fokussieren() {
 document.forms[0].elements[0].focus();
}

function ein_ausblenden(was) {
 for (i = 1; i < arguments.length; i++)
  if (arguments[i] == was.value)
   document.getElementById(arguments[i]).style.display = "block";
  else
   document.getElementById(arguments[i]).style.display = "none";
}

function vorladen() {
 document.vorladebild = new Array();
 document.vorladebild[0] = new Image();
 document.vorladebild[1] = new Image();
 document.vorladebild[0].scr = "/website/bilder/unterpunkt_hover.gif";
 document.vorladebild[1].scr = "/website/bilder/hauptmenue_hover.gif";
}