function keypress_search(evt)
{
	evt = (evt) ? evt : (window.event) ? event : null;
	if (evt)
	{
           	var charCode = (evt.charCode) ? evt.charCode :
                   ((evt.keyCode) ? evt.keyCode :
                   ((evt.which) ? evt.which : 0));
    	         if (charCode == 13) suchen();
	}
}
function suchen()
     {
		if (document.getElementById('suche').value!='')
		{
			frm = document.getElementById('suchen');
			frm.searchEntry.value = document.getElementById('suche').value;
			frm.submit();
		}
     }