function correct_layout() {
	if(document.getElementById('main3').offsetHeight) {
		var div_heights = new Array(
		document.getElementById('main3').offsetHeight,
		(document.getElementById('sidebar').offsetHeight - 34)
		);
		div_heights = div_heights.reverse(div_heights.sort(num_sort));
		var style_height = div_heights[0] + "px";
		document.getElementById('main3').style.height = style_height;
	}
}
function num_sort(a,b) {
	return a-b;
}