// JavaScript Document
var imgActual = 0;
var listaImg = new Array('b0.jpg','b1.jpg','b2.jpg','b3.jpg','b4.jpg','b5.jpg','b6.jpg','b7.jpg','b8.jpg','b9.png','barranca.JPG','b12.jpg')
function cambiarImg( ){
   if (document.images['anim'] == null)
	   return;
   document.images['anim'].src = "images/banner/"+listaImg[imgActual];
   imgActual++;
   if (imgActual == listaImg.length)
       imgActual = 0;
} 
timer = setInterval("cambiarImg()", 2000);