if (top.frames.length > 0)
      {
        /* wenn die HTML-Datei in einem fremden Frame-Set gestartet wird, wird  */
        /* sofort die eigene Startseite aufgerufen                              */

        if (top.gsMein_Frameset != "mein_frameset")
        {
          top.location.href = "index.html";
        }
      }
      else
      {
        /* wenn die HTML-Datei nicht in einem Frame-Set gestartet wird, wird    */
        /* sofort die eieene Startseite aufgerufen                              */
        top.location.href = "index.html";
      }