if (document.images)
var bilder1 = new Array("pic/show-01.jpg" ,
                        "pic/show-02.jpg" ,
                        "pic/show-03.jpg" ,
                        "pic/show-04.jpg" ,
                        "pic/show-05.jpg" ,
                        "pic/show-06.jpg" ,
                        "pic/show-07.jpg" ,
                        "pic/show-08.jpg" ,
                        "pic/show-09.jpg" ,
                        "pic/show-10.jpg" ,
                        "pic/show-11.jpg" ,
                        "pic/show-12.jpg" ,
                        "pic/show-13.jpg"
                        )
var naechstesBild1 = 0 //Array-Index der nächsten Bildes
var verzoegerung1 = 6000 //Verzögerung in Millisekunden
function animation(){
   document.ani.src = bilder1[naechstesBild1]
   naechstesBild1++
   if (naechstesBild1==bilder1.length)
      naechstesBild1 = 0
   setTimeout("animation()", verzoegerung1)
}