function jumpToPage(){
  document.PageForm.submit();
  return ;
}

function gotoPage(pagenum){
  document.PageForm.pageNo.value = pagenum;
  document.PageForm.submit();
  return ;
}

function jumpTo(s) {
  if (s.selectedIndex != 0) 
    document.location.href = s.options[s.selectedIndex].value;
    return 1;
}

function setDays() {
  document.DaysFilter.submit(); return 0;
}