onerror = ForeignURL;

function ForeignURL() {
	alert ("Sie werden weitergeleitet zur Startseite");
	top.location.href = "index.html";
	return true;
}

function frameset(Pfad) {
	if (Pfad.indexOf("file://") != 0) {
		if (parent.frames.length == 0) {
			var Datei = Pfad.slice(Pfad.lastIndexOf("/") + 1);
			top.location.replace("index.html?" + Datei);
		}
		else if (top.frames[0].name != "header") ForeignURL();
	}
}