// JavaScript Document
	
<!--
function ersetzen(loc)
{
	top.location.href = loc
}
// -->

<!--
function ersetzen(loc)
{
	top.location.replace(loc)
}
// -->

<!--
if(top.location.href == self.location.href)
ersetzen("index.asp")
// -->