var to_id = null;

function updateHits() {
  if (document.getElementById('useextents').checked) {
    flagExtents();
//  } else {
//    resetExtents();
  }
  updateCount();
}

function updateCount() {
  if (to_id != null) {
    clearTimeout (to_id);
  }

  to_id = setTimeout ("countHits()", 1000);
}

function countHits() {
  to_id = null;
//  if (document.getElementById('useextents').checked) {
//    flagExtents();
////  } else {
////    resetExtents();
//  }
  update_message = "<strong style='color:red;text-decoration:blink'>" +
                   "Updating count</strong>";
  Element.update('cur_count', update_message);
  cnt_url = "/ngm-bin/ngm_search_dbi.pl?srh_cnt=1" +
            Form.serialize('ngmform');
  new Ajax.Updater('cur_count', cnt_url, {method:'get'});
}