function tabChanged(sender, e){
    adjustSize();
}

function adjustSize()
{
    var h = document.getElementById('products_pageright').offsetHeight + 200;
    var gh = h + 'px';
    document.getElementById('maincontent').style.height = gh;
}