function resize()
{
    right=document.getElementById('righttable');
    if (right.offsetHeight<(right.parentNode.offsetHeight)){ right.style.height=(right.parentNode.offsetHeight-42)+'px';}
}