if (typeof(pagebodyHeight) != "undefined") {
  addEvent(window, "load", pagebodyHeight.fix);
}