function SetColHeight() {
	h1 = window.document.getElementById("leftnav").offsetHeight;
	h2 = window.document.getElementById("main").offsetHeight;
	if(h1<h2) window.document.getElementById("leftnav").style.height = h2 + 112 +"px";
	else window.document.getElementById("main").style.height = h1 +"px";
}