function sizepanes(){
    var diff=48;
    var newheight = 0;
    var bodyheight = document.getElementById("bodycontent").offsetHeight;
    var paneheight = document.getElementById("leftpane").offsetHeight;
    if (bodyheight-diff>paneheight)
    {
        newheight = (bodyheight-diff-paneheight)+paneheight
        document.getElementById("leftpane").style.height = newheight+"px";
    }
    else if(paneheight+diff>bodyheight)
    {
         newheight = (paneheight+diff-bodyheight)+bodyheight
         document.getElementById("bodycontent").style.height = newheight+"px";
    }
}