var bannerImg = new Array();
  // Enter the names of the images below
  bannerImg[0]="images/1001.jpg";
  bannerImg[1]="images/1002.jpg";
  bannerImg[2]="images/1003.jpg";
  bannerImg[3]="images/1009.jpg";
  bannerImg[4]="images/1010.jpg";
  bannerImg[5]="images/1011.jpg";
  bannerImg[6]="images/1012.jpg";
  bannerImg[7]="images/1013.jpg";
  bannerImg[8]="images/1014.jpg";
	
var newBanner = 0;
var totalBan = bannerImg.length;

function cycleBan() {
  newBanner++;
  if (newBanner == totalBan) {
    newBanner = 0;
  }
  document.banner.src=bannerImg[newBanner];
  // set the time below for length of image display
  // i.e., "10*1000" is 10 seconds
  setTimeout("cycleBan()", 10*1000);
}
window.onload=cycleBan;