var img0 = new Image( 530, 118 );
img0.src = "/img/6/robo1.gif";
var img1 = new Image( 530, 118 );
img1.src = "/img/6/robo2.gif";
var img2 = new Image( 530, 118 );
img2.src = "/img/6/robo3.gif";
var img3 = new Image( 530, 118 );
img3.src = "/img/6/robo4.gif";
var img4 = new Image( 530, 118 );
img4.src = "/img/6/robo5.gif";
var img5 = new Image( 530, 118 );
img5.src = "/img/6/robo6.gif";
var img6 = new Image( 530, 118 );
img6.src = "/img/6/robo7.gif";
var img7 = new Image( 530, 118 );
img7.src = "/img/6/robo8.gif";
var img8 = new Image( 530, 118 );
img8.src = "/img/6/robo9.gif";
var img9 = new Image( 530, 118 );
img9.src = "/img/6/robo1.gif";
var img10 = new Image( 530, 118 );
img10.src = "/img/6/robo1.gif";
var img11 = new Image( 530, 118 );
img11.src = "/img/6/robo11.gif";
var img12 = new Image( 530, 118 );
img12.src = "/img/6/robo1.gif";
var img13 = new Image( 530, 118 );
img13.src = "/img/6/robo1.gif";
var img14 = new Image( 530, 118 );
img14.src = "/img/6/robo11.gif";

var i = 0;
var nbImg = 15; // change to the number of different images you have
function animate() {
  document.getElementById('titleIMG').src = eval("img" + i ).src;
  i++;
  if (i == nbImg) i=0; 
  junk = setTimeout("animate();", 200); // in milliseconds
  }