function submitSuchFormByKey(x) { 
	if(document.all) { 
		if (event.keyCode==13) submitSuchForm();
	} else { 
		if (x.which==13) submitSuchForm(); 
	} 
} 

function submitSuchForm() { 
	if (document.getElementById('searchresult')){ 
		document.getElementById('searchresult').value=''; 
	} 
	document.form1.action='uebersicht.php'; setTimeout('document.form1.submit()',1);
}