if (parent.frames.length>0)
 location.href="index.html";

   var a = document.images;
   var m = 12; /* Anzahl Menüpunkt + Logo + Platzhalter */
   var g = new Image();
   var o = new Image();
   var r = new Image();
   o.src = "_pics/_dot_yellow.gif";
   g.src = "_pics/_dot_green.gif";
   r.src = "_pics/_dot_red.gif";


function rot(n)
{
   if (a)
   {
       for (var k=2; k<m; k++)
          a[k].src = g.src;
       a[n+2].src = r.src;
   }
}

function an(m)
{
   if (a)
   {
      if (a[m+2].src == g.src)
          a[m+2].src = o.src
      else
         a[m+2].src = r.src;
   }
}

function aus(m)
{
   if (a)
   {
      if (a[m+2].src == o.src)
         a[m+2].src = g.src
      else
         a[m+2].src = r.src;
   }
}