// Set slideShowSpeed (milliseconds)
var slideShowSpeedBanner = 6000

// Duration of crossfade (seconds)
var crossFadeDurationBanner = 12

// Specify the image files
var PicBanner = new Array() // don't touch this

PicBanner[0] = 'images/banner_portugal1.jpg'
PicBanner[1] = 'images/banner_portugal1prijs.jpg'
PicBanner[2] = 'images/banner_portugal1prijs.jpg'
PicBanner[3] = 'images/banner_portugal1prijs.jpg'
PicBanner[4] = 'images/banner_portugal1prijs.jpg'
PicBanner[5] = 'images/banner_portugal1prijs.jpg'

// =======================================
// do not edit anything below this line
// =======================================

var tBanner
var jBanner = 0
var pBanner = PicBanner.length

var preLoadBanner = new Array()
for (iBanner = 0; iBanner < pBanner; iBanner++){
   preLoadBanner[iBanner] = new Image()
   preLoadBanner[iBanner].src = PicBanner[iBanner]
}

function runSlideShowBanner(){
   if (document.all){
      document.images.SlideShowBanner.style.filter="blendTrans(duration=2)"
      document.images.SlideShowBanner.style.filter="blendTrans(duration=crossFadeDurationBanner)"
      document.images.SlideShowBanner.filters.blendTrans.Apply()      
   }
   document.images.SlideShowBanner.src = preLoadBanner[jBanner].src
   if (document.all){
      document.images.SlideShowBanner.filters.blendTrans.Play()
   }
   jBanner = jBanner + 1
   if (jBanner > (pBanner-1)) jBanner=0
   tBanner = setTimeout('runSlideShowBanner()', slideShowSpeedBanner)
}