function clear_search() {            
  if (document.SearchForm.query.value != "")
    document.SearchForm.query.value = "";
}