var sh=572, h;
if(window.innerHeight)  // NS4/NS6
	sh = innerHeight; 
else if(window.frameElement)
	sh = frameElement.clientHeight;
else if(document.documentElement) // IE50
	sh = document.documentElement.offsetHeight 
else if(window.screen)
	sh = window.screen.availHeight;
h=sh-130;
  //document.write('<div style="height: '+h+'px;" class="extramargeonderkant">&nbsp;<\/div>');