  var pagefocusbodyonloadsaved;
  function pagefocusbodyonload()
  {
    if (pagefocusbodyonloadsaved)
    {
      pagefocusbodyonloadsaved();
    }
    if (pagefocusid.length > 0)
    {
      ofocuselement = document.getElementById(pagefocusid);
      if (ofocuselement)
      {
        ofocuselement.focus();
      }
    }
  }
  if (window.onload)
  {
    pagefocusbodyonloadsaved = window.onload;
  }
  window.onload = pagefocusbodyonload;
