function AdjustColumnsHeight()
{
    var centerCol = document.getElementById('centercol');
    var leftCol = document.getElementById('leftcol');
    var rightCol = document.getElementById('rightcol');

    var hCenterCol = centerCol.offsetHeight;
    var hLeftCol = leftCol.offsetHeight;
    var hRightCol = rightCol.offsetHeight;
    var maxHeight = Math.max(hCenterCol, Math.max(hLeftCol, hRightCol));

    centerCol.style.height = maxHeight + 'px';
    leftCol.style.height = maxHeight + 'px';
    rightCol.style.height = maxHeight + 'px';
    window.document.getElementById('footer').style.visibility = 'inherit';
    
    var searchBox = document.getElementById("searchBox");
    var search = new SearchBox(searchBox);
    search.setSearchBox();
}
window.onload = function() { AdjustColumnsHeight();}