function submit(page)
{
  document.getElementById("page").value=page;
  document.form1.submit();
}