window.onload=function(){
    var a=document.getElementById("additionalcontent");
    var m=document.getElementById("maincontent");
    if(a){
        a.style.height=m.offsetHeight+"px";
    }
}