function getElementHeight (id) {
    var elem = document.getElementById(id);
    return elem.scrollHeight;
}


function updateFrameWork () {
    var h = (getElementHeight ("xcontent")-66) + "px";

    document.getElementById("frameworkcolumn_w").style.height = h;
    document.getElementById("frameworkcolumn_e").style.height = h;

    document.getElementById("portalinfo_w").style.height = Math.max(2,(getElementHeight("portalinfo")- 16)) +  "px";
    document.getElementById("portalinfo_center").style.height = Math.max(2,(getElementHeight("portalinfo")- 16)) +  "px";
    document.getElementById("portalinfo_e").style.height = Math.max(2,(getElementHeight("portalinfo")- 16)) +  "px";
}