<!--
function pagejump(Curr_PageNum,PageCount,form){
  var PageNum = form.pageno.value;
  var checkOK = "0123456789";
  var allValid = false;

  if (PageNum == ''){
    window.alert('Please input a valid number.'); 
    return false; 
  }

  for (i = 0;  i < PageNum.length;  i++){
    allValid = false;
    for (j = 0;  j < checkOK.length;  j++){
      if (PageNum.charAt(i) == checkOK.charAt(j)){
        allValid = true;
        break;
      }
    }
    if (!allValid){
      break;;
    }
  }
  if (PageNum.charAt(0) == 0){
    allValid = false;
  }
  if (!allValid){
    alert("Please input a valid number.");
    form.pageno.focus();
    return (false);
  }
  if ((parseInt(PageNum)<1) || (parseInt(PageNum)>parseInt(PageCount))){
    alert("1<= Page Number <="+PageCount);
    form.pageno.focus();
    return (false);  
  }
  if (PageNum == Curr_PageNum){
    form.pageno.focus();
    return (false); 
  }
return true
}
// -->