function ersetzen(loc)
{
	top.location.replace(loc)
}

if(top.location.href == self.location.href)
	ersetzen("/index.php?file=/produkte/INFOMEDIA/INFOMEDIA_Staendersysteme.php")