var w = document.getElementById("AllWrapper"); 
var mn = document.getElementById("menuwrapper"); 
var fr = document.getElementById("inhoudwrapper");
var fri = document.getElementById("inhoud");

var h = w.offsetHeight-149;

mn.style.height = h + "px";
fr.style.height = h + "px";
fri.style.height = h + "px"; 

if(mn.style.height!=h + "px"){
	window.location.reload();
}