function searchform_submit(searchfieldname,searchformname) {
	var site = "get-mike.de";
	document.forms[searchformname].elements[searchfieldname].value = document.forms[searchformname].elements["query"].value + " site:" + site;
	document.forms[searchformname].elements["query"].value = "";
	document.forms[searchformname].submit();
}