function adjust()
{
  adjustHeight();
}

function adjustHeight()
{
  if (document.getElementById)
  {
    var objPage = document.getElementById('docPage');
    var intPageHeight = (screen.height - 125 - 114);
    objPage.style.height = intPageHeight + 'px';
  }
  else if (document.all)
  {
    var objPage = document.all
  }
}