/*  FrameSet sprengen  */
if(top.frames.length > 0)
    top.location.href=self.location;
    
/*  Bildwechsel  */
function show(bild)
  {
   document.images.fenster.src = bild;
  }