if (document.images)
var b = new Array()
var n = 1 
var del = 10000 

function laden(){
for (i=1; i<=13; i++) {
   b[i] = new Image();
   b[i].src = "fileadmin/uni-homepage/images/"+i+".png";
}
}

function animation(){
   document.ani.src = b[n].src;
   n++;
   if (n==14) n = 1;
   setTimeout("animation()", del);
}