function ein(aktuellerLink)
{
aktuellerLink.style.color="#054c5d";
aktuellerLink.style.background="#cccccc";
}
function aus(aktuellerLink)
{
aktuellerLink.style.color="snow";
aktuellerLink.style.background="#054c5d";
}

if (parent.location.href != self.location.href)
 {parent.left.document.bgColor = '#054c5d';}