function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}

function jumpwindow(form)
{
var myindex=form.serverauswahl.selectedIndex 
if (form.serverauswahl.options[myindex].value !="none")
 { 
 window.open(form.serverauswahl.options[myindex].value);
 }
}