// Konfiguration der ID's,
// welche auf eine Höhe gebracht werden sollen
rel_id = new Array();
rel_id[0] = 'inhalt';
rel_id[1] = 'rechts';
rel_id[2] = 'links';

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';
//entweder in em oder in px angeben.Zur ermittelten max_hoehe kann man noch einen Offset addieren!
    if (navigator.appVersion.substring(22,23) < "8")
        max_hoehe = '' + (max_hoehe + 65) + 'px';
//      alert(navigator.appVersion.substring(22,23));
    else    
        max_hoehe = '' + (max_hoehe + 60) + '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);
    }
    );