function getBodyHeight(topHeight)
{
  var bV  = parseInt(navigator.appVersion);
  var bNS = navigator.appName=="Netscape";
  var bIE = navigator.appName=="Microsoft Internet Explorer";
  var bOpera = navigator.appName=="Opera";

  var winH=460;

  if (bNS || bOpera)
	winH = window.innerHeight-16-topHeight;
  if (bIE)
	winH = document.body.offsetHeight-20-topHeight;
  return(winH);
}