function ResizeDivs() {
	var divHeightContent = document.getElementById('content').offsetHeight;
	var divHeightNav = document.getElementById('nav').offsetHeight;

	if (divHeightContent > divHeightNav) {
		var divhoehe = divHeightContent;
	} else {
		var divhoehe = divHeightNav;
	}

	document.getElementById('content').style.height=divhoehe+10+'px';
	document.getElementById('nav').style.height=divhoehe+10+'px';	
	document.getElementById('body').style.height=divhoehe+10+'px';

}