//suchfunktion
function replaceIt(string,suchen,ersetzen) {
ausgabe = "" + string;
while (ausgabe.indexOf(suchen)>-1) {
pos= ausgabe.indexOf(suchen);
ausgabe = "" + (ausgabe.substring(0, pos) + ersetzen + 
ausgabe.substring((pos + suchen.length), ausgabe.length));
}
document.SO.query.value = ausgabe;
return ausgabe;	
}
		
function go(searchResultUrl) {
param=replaceIt(document.SO.query.value,',',' ');
param=replaceIt(param,'Suchbegriff eingeben...','');
if(param!='') {
document.location.href=searchResultUrl + "?Query="+ param;
} else { 
document.SO.query.value="Suchbegriff eingeben...";
}
}