window.onload = function allocateSidebarHeight() {
var contentDom = document.getElementById("leftcol");
var sidebarDom = document.getElementById("rightcol");
if((contentDom.offsetHeight) > sidebarDom.offsetHeight) {
sidebarDom.style.height = (contentDom.offsetHeight - 30)+"px"; }
else {contentDom.style.height = (sidebarDom.offsetHeight - 30)+"px"; }
}