<!--

pics = new Array ();
urls = new Array ();

pics [0] = new Image ()
pics [0].src = "images/fase1.JPG";

pics [1] = new Image ()
pics [1].src = "images/fase2.JPG";

pics [2] = new Image ()
pics [2].src = "images/fase3.JPG";

picNum = 0;

function changePic () {
  ++ picNum;
  if (picNum >= pics.length) picNum = 0;
  document.images ['pic1'].src = pics [picNum].src;
  setTimeout ('changePic ()', 3000);
}

//( setTimeout ('changePic ()', 1000);

// -->
