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