<!--


function hauptseite()
{
if(top.location.href == self.location.href)
{
top.location.replace("index.htm")
}
}


function farbwechsel(id,farbe) 
{
if (parent.frames[1].document.all) 
{parent.frames[1].document.all[id].style.backgroundColor=farbe;}
else if (parent.frames[1].document.getElementById)
{parent.frames[1].document.getElementById(id).style.backgroundColor=farbe;}
else if (parent.frames[1].document.layers) 
{parent.frames[1].document.layers[id].bgColor=farbe;}
}


// -->