function jumper(target,auswahl,restore){
eval(target+".location='"+auswahl.options[auswahl.selectedIndex].value+"'");
if (restore) auswahl.selectedIndex=0;
}