function ResizeDivs() {
	var divhoehe1 = document.getElementById('content').offsetHeight;
	var divhoehe2 = document.getElementById('nav2').offsetHeight;

	if (divhoehe1 > divhoehe2) {
		var divhoehe = divhoehe1;
	} else {
		var divhoehe = divhoehe2;
	}
	document.getElementById('content').style.height=divhoehe+'px';
	document.getElementById('nav2').style.height=divhoehe+'px';
	document.getElementById('body').style.height=divhoehe+'px';
	document.getElementById('master').style.height=divhoehe+256+'px';
}
