// JavaScript Document
window.onload= rotate;
var bannerImages = new Array("../images/header1.jpg","../images/header2.jpg","../images/header3.jpg");
var thisBanner = 0; 
function rotate() {
 thisBanner++;
 if (thisBanner == bannerImages.length) {
  thisBanner = 0;
 }
 document.getElementById("banner").src=bannerImages[thisBanner];
 
 //built in Javascript function setTimeout - call the rotate function every 10 seconds 
 setTimeout("rotate()", 4*1000);
 
}