function SynchronizeHeights(element1_id, element2_id, height_descriptor)
    {
        var element1 = document.getElementById(element1_id);
        var element2 = document.getElementById(element2_id);

        var element1_height = element1.offsetHeight;
        var element2_height = element2.offsetHeight;

        if (element1_height > element2_height)
            element2.style.height = element1_height + height_descriptor;
        else
            element1.style.height = element2_height + height_descriptor;
    }