window.onload=function() {
	var searchForm=document.getElementById("searchForm");
	if( searchForm != null )
		searchForm.query.focus();
}