function navigation_laden(auswahl) {
   var arg = navigation_laden.arguments;
   var v = auswahl.options[auswahl.selectedIndex].value;
   if (arg.length > 1) {
      var w = arg[1];
   } else {
      var w = self;
   }
   if (v != "" && v != "#") {
      w.location.href = v;
   }
}