function queryfocus() {
  search = document.search;
  if (search != null) { search.query.focus(); }
}