// procs to do animation on music pages

// first pre-load images, begin by initialising things
var dotsarr1=new Array(4);
var dotsarr2=new Array(4);
var dotsarrind_max=0;
var imagenames=new Array(4);

for(var i=0; i<4;i++){
  dotsarr1[i]=new Image();
  dotsarr2[i]=new Image();
  imagenames[i]="im" + i;
}






for(var i=0;i<4;i++){
  dotsarr1[i].src="images/i2-" + i + ".gif";
  dotsarr2[i].src="images/i2-" + i + "o.gif";
  dotsarrind_max++;
}





// now define the dots_animate function

var animate_dotsarrind=0;

function next_dot(){
  // set current dot to be from array 1 (normal)
  document.images["im" + animate_dotsarrind].src=dotsarr1[animate_dotsarrind].src;
  animate_dotsarrind=(animate_dotsarrind+1)%dotsarrind_max;

  document.images["im" + animate_dotsarrind].src=dotsarr2[animate_dotsarrind].src;
}


function animate(){
  next_dot();
  timeout_id=setTimeout("animate();",600);
}