function doNavigateTo(page) {
  document.frmSearch.current_page.value = page;
  document.frmSearch.submit();
}