var banner1Img = new Array();
  // Enter the names of the images below
  banner1Img[0]="im2/splash/rsplash4.gif";
  banner1Img[1]="im2/splash/rsplash2.gif";
  banner1Img[2]="im2/splash/rsplash5.gif";
  banner1Img[3]="im2/splash/rsplash1.gif";
  banner1Img[4]="im2/splash/rsplash3.gif";

var newBanner1 = 0;
var totalBan1 = banner1Img.length;

function cycleBan1() {
  newBanner1++;
  if (newBanner1 == totalBan1) {
    newBanner1 = 0;
  }
  document.banner1.src=banner1Img[newBanner1];
  // set the time below for length of image display
  // i.e., "4*1000" is 4 seconds
  setTimeout("cycleBan1()", 4.5*1000);
}
window.onload=cycleBan1;