<!--
function anim(Bildname, Dateiname) {
               if (document.images) {
                    document.images[Bildname].src =  Dateiname + '.gif'
                    }
         }
//-->