function ResizeDivs() {

	var height1 = document.getElementById('nav1').offsetHeight;
	var height2 = document.getElementById('content').offsetHeight;

	if (height1 > height2) {
		var divhoehe = height1;
	} else {
		var divhoehe = height2;
	}

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

	if (document.getElementById('nav2')) {
		document.getElementById('nav2').style.height = divhoehe+'px';
	}

}