function ein(aktuellerLink)
{
aktuellerLink.style.color="yellowgreen";

}
function aus(aktuellerLink)
{
aktuellerLink.style.color="snow";
}
if (parent.location.href != self.location.href)
 {parent.left.document.bgColor = '#546612';}