function ChangeP(page)
{
   obj = window.document.getElementById('page');
   if (obj != null)
   {
      obj.value = page;
   }
}