<!--
	function searchFocus () {
		document.searchform.search_text.focus();
	}
// -->