// Comma separated list of images to rotate 
var rotate2 = new Array('images/top_anim/text_001.png','images/top_anim/text_002.png','images/top_anim/text_003.png','images/top_anim/text_004.png');
// delay in milliseconds between image swaps 1000 = 1 second 
var delay_r2 = 3000;
var count_r2 = 0;

function rotate_rotator2(){
  if(count_r2 == (rotate2.length)){
    count_r2 = 0;
  }
  document.images.rot2.src = rotate2[count_r2++];
  setTimeout('rotate_rotator2()', delay_r2);
}