function check() // handelt die Auswahl
{ 
  var loc=document.finder.quick.options[document.finder.quick.selectedIndex].value;
 if (loc != '') // Nur wenn value keine leere Zeichenkette
  {
    if(loc == "http://www.gasthaus-paddocks.de")
      window.open(loc, 'newwindow', '');
    else
      window.location=loc; 

  }
}