function noMainMargin(){
    document.getElementById('main').style.padding = '0!important';
}
function eqHeight(){
    var c = document.getElementById('main');
    c.style.height = Math.max(c.offsetHeight, document.getElementById('verticalmenu').offsetHeight)+'px';
}


if(window.addEventListener)
    window.addEventListener('load', eqHeight, false);
else if(window.attachEvent)
    window.attachEvent('onload',eqHeight);