function bodyheight() {	        
	  var x = document.body.scrollHeight + 30;  //de 20 is de marge boven en onder
	  if (x < 500)
	  {
	    x = 500;
	  }
      parent.document.getElementById('main').style.height = x + 'px';
}	  

function refresh() {  
  var sURL = unescape(window.location.pathname);
  window.location.href = sURL;
  bodyheight();
}