var TekstHoogte = 300;
var plaats = 250;

function OnWindowResize(){
 if (is_nav6up || is_gecko || is_opera5up) {
   TekstHoogte = window.innerHeight - plaats;
 }
 if (is_ie6up) {
  TekstHoogte = document.body.offsetHeight - plaats - 4;
 }
// alert(TekstHoogte);
 var maindiv = document.getElementById('main');
 maindiv.style.height = TekstHoogte + "px";
}