function setFocus() {
  if (document.searchForm != null) {
	  document.searchForm.searchString.focus();
     document.searchForm.searchString.select();
  }
}