<!--

 function jump3() {
    ziel=document.auswahl3.seiten3.options[document.auswahl3.seiten3.selectedIndex].value;
    if(ziel == "")return;
     location=ziel;

}

//-->