function on(nr)
  {
   offbutton=window.document.images[nr].src;
   wo=offbutton.lastIndexOf(".gif");
   anfang=wo -4;
   namenteil=offbutton.slice(0,anfang);
   ende="_on.gif";
   bildnamen=namenteil.concat(ende);
   window.document.images[nr].src=bildnamen;
  }

function off(nr)
  {
   offbutton=window.document.images[nr].src;
   wo=offbutton.lastIndexOf(".gif");
   anfang=wo -3;
   namenteil=offbutton.slice(0,anfang);
   ende="_off.gif";
   bildnamen=namenteil.concat(ende);
   window.document.images[nr].src=bildnamen;
  }