// JavaScript Document
var imgActual = 0;
var listaImg = new Array('header_top_image.png','banner1.jpg','banner2.jpg','banner3.jpg','banner4.jpg','banner5.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()", 10000);