window.onload=function() {
	nHoogte = (document.getElementById('menu').offsetHeight/1);
	document.getElementById('container').style.minHeight=nHoogte+'px';
	document.getElementById('content').style.minHeight=nHoogte+'px';
}