var Pfad = self.location.href;
if (Pfad.indexOf("file://") && !parent.frames.length) {
	var filename = Pfad.substring(Pfad.lastIndexOf(".at/")+3, Pfad.length);
	filename_new = filename.replace(/\&/g,":");
	if(document.images)top.location.replace("/index.php?filename="+filename_new);
	else top.location.href="/index.php?filename="+filename; 
}