function AjustarAltosDiv()
{
    var colCen = document.getElementById("cuerpo"); // Ambos bloques estan identificados como colCen y colPrin respect.
    var colPrin = document.getElementById("principal");
    if (colCen.offsetHeight > colPrin.offsetHeight)
    {
        colPrin.style.height=colCen.offsetHeight + "px";
    }
}