// erzeugt Suchformular!
function makesuchform() {
suchform="<form class=form3 name=\"suchen\" "+
"onsubmit=\'return suche()\'>"+
"&nbsp; SUCHE&nbsp; <input type=\"text\" name=\"eingabe\"" +
"value=\"\" size=30\" "+
"onMouseover=\"javascript:this.value=\'\'; " +
"return true\"><\/form>\n";
document.write(suchform);
}


function suche() {
// POPUP-FENSTER ERZEUGEN
win=window.open("../result.html","suchwin",
"width=300,height=300,left=50,top=50,"+
"scrollbars=no,resizable=yes");
win.focus();
// nächste Zeile schließt Suchfenster automatisch
win.setTimeout("window.close()",60000); // evtl. loeschen
return false;
}