<!--
function submitSearchForm() 
{
	var f = window.document.searchform;

	if ( f.searchtext.value == "" )
		alert( "Please enter something in the search box." ); 
	else 
		f.submit();
}
//-->