function contentHoogte() {
	document.getElementById("inhoud").style.height = (document.body.clientHeight-145) + "px";
}