function initPage() 
{
  if (typeof(fixPagebodyHeight) != "undefined") { fixPagebodyHeight(); }
}

window.onload = initPage;