function setHeightToFullWindow() {
	if (document.getElementById("middentd").clientHeight < document.documentElement.clientHeight)
	{
		document.getElementById("body").style.height = document.documentElement.clientHeight;
	}
}