//------------------------------------------------------------------------------
//
//  Achtung: Die Datei ist nicht vollstaendig von mir geschrieben, nur einwenig geaendert.
//   
//   
//
//  EINSTELLUNGEN
//
//   framename : Hier musst Du den Namen des Frames eintragen, in den die
//               Seiten geladen werden soll, also den Seitennamen.
//
     	framename="Hauptfenster";
//
//   frameset  : Hier musst Du den Dateinamen des Frameset eintragen. Am
//               besten relativ zum Server (/index.htm), damit das Ding
//               auch aus Unterverzeichnissen heraus läuft.
//
     	frameset="../../index.html";
//
//------------------------------------------------------------------------------

//------------------------------------------------------------------------------
// 	FrameCheck();
//  Diese Funktion überprüft, ob die Datei im Frame geladen wurde.
//------------------------------------------------------------------------------
	function FrameCheck() {
 	if(!eval("parent."+framename)) { location.replace(frameset+"?"+location.href); }
}

//------------------------------------------------------------------------------
// 	LoadFrame();
//  Diese Funktion lädt die richtige Datei in den Frame (hoffentlich).
//------------------------------------------------------------------------------
	function LoadFrame() {
 	var URL=location.search;
 	if(URL) {
  	frame=eval("frames."+framename);
		frame.location.replace(URL.substring(1,URL.length));
	}
}