[2], [3] ##
##

function changePage(page){
  document.thisForm.theCurrentPage.value=page;
  document.thisForm.submit();
}