function set_heights()
    {
    var min_height = 600;
    var body_height = document.getElementById("body0").offsetHeight;
    var set_height = Math.max(min_height, body_height);
    document.getElementById('sidel0').style.height = set_height + 'px';
    document.getElementById('sider0').style.height = set_height + 'px';
    }