function setSearchFocus() {
			if (document.search) {
  			document.search.query.focus();
  			document.search.query.select();
  			}
			}