...
##

function do_Submit(page) {
  var page;
  document.forms[0].page.value = page;
  document.forms[0].submit();
}