function ResizeDivs() {

	var height1 = document.getElementById('nav').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('nav').style.height = divhoehe+'px';
	document.getElementById('content').style.height = divhoehe+'px';
	document.getElementById('master').style.height = divhoehe+300+'px';

}