// JavaScript Document
var c = 1;

/* Preloading images */
var image1 = new Image();
image1.src = "header5.jpg";
var image2 = new Image();
image2.src = "header6.jpg";


function disp_img(w)
   {
   if (c == 6)
      {
      c = 1;
      }
   var img_src = "a" + c + ".jpg";
   document.ani.src = img_src;
   c++;
   }
t = setInterval("disp_img(c)", 1000);