function setContentHeight() {
	var rightcontainer = document.getElementById("rightContainer");
	var contentbox = document.getElementById("centerContentBox");
	
	var wantedHeight = rightcontainer.offsetHeight -193;
	
	if (wantedHeight > contentbox.offsetHeight) {
		contentbox.style.height = wantedHeight + "px";
	}
}