

<!--
function ersetzen(loc)
{
 top.location.href = loc
}
// -->



<!--
function ersetzen(loc)
{
 top.location.replace(loc)
}
// -->



<!--
if(top.location.href == self.location.href)
 ersetzen("index.html")
// -->