function getHeight() {
var area = window.document.getElementById('area').offsetHeight;
var leftarea = window.document.getElementById('leftarea').offsetHeight;

if  (navigator.appName == "Microsoft Internet Explorer") {
	if (area > leftarea) {
	window.document.getElementById('leftarea').style.height = (area) + "px";
	} else {
	window.document.getElementById('contentarea').style.height = (leftarea) + "px";
	}
} else {
	if (area > leftarea) {
	window.document.getElementById('leftarea').style.height = (area - 15) + "px";
	} else {
	window.document.getElementById('contentarea').style.height = (leftarea - 40) + "px";
	}
}
}