<!--
  var vers = navigator.appVersion;
  var name = navigator.appName;
  vers_ie = vers.substring(22,23);
  vers_nc = vers.substring(0,1);
  if ((name == "Microsoft Internet Explorer" && vers_ie == 5) || (name == "Netscape" && vers_nc == 5)){
  function auswahl(link) {
   if(link == "leer") {
     document.forms[0].reset();
    document.forms[0].elements[0].blur();
     return;
   }else {
     location.href = link;
     document.forms[0].reset();
     document.forms[0].elements[0].blur();
    }
   }
  }
//-->