function ResizeDivs() {
	var divhoehe = document.getElementById('mainContentRight').offsetHeight;
	document.getElementById('mainContent').style.height=divhoehe+'px';
	document.getElementById('mainContentLeft').style.height=divhoehe+'px';
	document.getElementById('main').style.height=divhoehe+'px';
}