// JScript File
function ResizeColumn(bigColumnId, smallColumnId){
    var bigCol = document.getElementById? document.getElementById(bigColumnId) : eval('document.all.' + bigColumnId);
    var smallCol = document.getElementById? document.getElementById(smallColumnId) : eval('document.all.' + smallColumnId);
    var bigcolheight = bigCol.offsetHeight;
    var smallcolheight = smallCol.offsetHeight;
    smallCol.style.height = bigcolheight - 11 + "px";
}