//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...";
	}
}