// Achtung bei Pfadangabe //

var Pfad = self.location.href;
if (Pfad.indexOf("file://") && !parent.frames.length) {
  var Datei = Pfad.slice(Pfad.lastIndexOf("/") + 1);
  document.close();
  with (document) {
    open();
    writeln('<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN">');
    writeln('<html><head><title>Sandkorn-Theater<'+'/title><'+'/head>');
    writeln('<frameset cols="220,*" frameborder="0" border="0" framespacing="0">');
    writeln('<frame name="menue" src="navig.html">');
    writeln('<frame name="seite" src="' + Datei + '?frameset">');
    writeln('<'+'/frameset><'+'/frameset><'+'/html>');
    close();
  }
}

