function LeftPaneHeight ()
{
	if (parseInt(navigator.appVersion)>3) {
	 if (navigator.appName=="Netscape") {
	  winH = window.innerHeight;
	 }
	 if (navigator.appName.indexOf("Microsoft")!=-1) {
	  winH = document.body.offsetHeight;
	 }
	}
	var divCentralPane = document.getElementById("centralPane").offsetHeight;

	var divLeftPane = document.getElementById("leftPane");
	if(divCentralPane+100 >= winH)
		divLeftPane.style.height = divCentralPane + 30;
	else
		divLeftPane.style.height = winH - 105;
}