function setDivHeight()
{
// Array mit allen Divs definieren (hier die ID's der Div-Bereiche, die miteinander in Beziehung stehen sollen, eintragen!
var divs_aussen = new Array("links","rechts");
// die Höhe (offsetHeight) jedes eizelnen Divs auslesen
h1=document.getElementById("links").offsetHeight + 10;
h2=document.getElementById("rechts").offsetHeight + 10;
if(h2>h1)
{
// allen Div-Bereichen den ermittelten Wert übergeben 
for(i=0;i<divs_aussen.length;i++)
{
document.getElementById(divs_aussen[i]).style.height=h2 + "px";
}
}
else
{
for(i=0;i<divs_aussen.length;i++)
{
document.getElementById(divs_aussen[i]).style.height=h1 + "px";
}
}
}

function highlight(name,farbe)
{
if(document.getElementById)
{
document.getElementById(name).style.backgroundColor=farbe;
}}

function logout()
{
x=confirm("Wollen Sie sich wirklich abmelden?");
if(x==true)
{
top.location.href="../index.php";
}
}