onerror=alert;

   /* Seiten-Wechsel (target = main) gem. value-Angaben in der Auswahlliste
         obj = akt. Auswahlliste (bei Aufruf Uebergabe von 'this' noetig) */
   function loadPage(obj) 
   {
      /* err = window.onerror;
      window.onerror = alert; */
      // onerror = alert;          // alternativ!
      
      var idx = obj.selectedIndex;
      var url = obj.options[idx].value;
      if (url!='empty') {
         top.document.location.href = url; // Seite neu laden!
      }
   }


   /* Menue-Wechsel (target = menu) gem. der uebergebenen Parameter
         url = Verweis auf das zu ladende Menu (z.B. menu.html)
         idx = die zu ladende Auswahllisten-Position (0..oo) 
   function loadMenu(url,idx)
   {
      //onerror=alert;
      top.name = idx; // zur globalen Speicherung des Wertes von 'idx'
      top.frames[4].document.location.href = url; // menu neu laden!
   } 
   
   function loadListIndex(listCount)
   {
      //onerror=alert;
      var idx = parseInt(top.name); // parseInt kann man sich bei JavaScript wohl auch sparen
      if (idx >= 0) {
         //var listCount = top.frames[4].document.formular.elements.length; // wenn nicht uebergeben
         top.frames[4].document.formular.elements[listCount-1].selectedIndex = idx;
      }
   } */