// Konfiguration der ID's,
// welche auf eine Höhe gebracht werden sollen
rel_id = new Array();
rel_id[0] = 'cont_content';
rel_id[1] = 'cont_info';
rel_id[2] = 'cont_navi';
rel_id[3] = 'innen';
rel_id[4] = 'aussen';

var max_hoehe = 0;
var nn = '' ;
function setDivHeight(pxOffset)
{
// return true;
    // Prüfung, ob alle konfigurierten ID auch tatsächlich im HTML vorkommen
    // gleichzeitig ermitteln der Offset-Höhe,
    // um später die ID auf den gemeinsamen höchsten Wert stellen
    for (var i = 0; i < rel_id . length; i++) {
        if (!document . getElementById(rel_id[i])) {
            return true;
        } else {
            var hoehevals = document . getElementById(rel_id[i]) . offsetHeight;
            nn = nn + ' ' + hoehevals;
            if (hoehevals > max_hoehe) {
                max_hoehe = hoehevals;
            }
        }
    }
//    max_hoehe = '' + max_hoehe/10 + 'em';
    max_hoehe = '' + (max_hoehe + 40) + 'px';

    for (var i = 0; i < rel_id . length; i++) {
        setHeight(rel_id[i], max_hoehe);
    }
}

function setHeight(elem, hoehe)
{
    document . getElementById(elem) . style . height = hoehe;
}

function init(func)
{
    if (1) {
        var oldonload = window . onload;
        if (typeof window . onload != 'function') {
            window . onload = func;
        }
    }
}

init(
    function()
    {
        setDivHeight(0);
    }
    );