function adjustTheHeights() {
	var l = document.getElementById("left").offsetHeight;
	var r = document.getElementById("right").offsetHeight;
	if (l < r) {
		document.getElementById("left").style.height = (r-10) + "px";		
	} else {
		document.getElementById("right").style.height = (l+10) + "px";
	}
}