if (document.layers)
      {
      var startbreite = window.innerWidth;
      var starthoehe = window.innerHeight;
      }

      function StylesLost()
      {
      if (document.layers && window.innerWidth != startbreite
       || window.innerHeight != starthoehe)
      {
      location.reload();
      }
      }