// Set BannersSpeed (milliseconds)
var BannersSpeed = 4000

// Duration of crossfade (seconds)
var crossFadeDuration = 3

// Specify the image files
var Ban = new Array() // don't touch this
// to add more images, just continue
// the pattern, adding to the array below

Ban[0] = 'banners/air.png'
Ban[1] = 'banners/bow.png'
Ban[2] = 'banners/service.png'
Ban[3] = 'banners/lakemac.png'
Ban[4] = 'banners/dock.png'
Ban[5] = 'banners/ays.png'
// =======================================
// do not edit anything below this line
// =======================================

var t
var j = 0
var p = Ban.length

var preLoad = new Array()
for (i = 0; i < p; i++){
   preLoad[i] = new Image()
   preLoad[i].src = Ban[i]
}

function runBanners(){
   if (document.all){
      document.images.Banners.style.filter="blendTrans(duration=2)"
      document.images.Banners.style.filter="blendTrans(duration=crossFadeDuration)"
      document.images.Banners.filters.blendTrans.Apply()      
   }
   document.images.Banners.src = preLoad[j].src
   if (document.all){
      document.images.Banners.filters.blendTrans.Play()
   }
   j = j + 1
   if (j > (p-1)) j=0
   t = setTimeout('runBanners()', BannersSpeed)
}