//Snelheid van de slide show:
var slideShowSpeed = 4500
//einde snelheid slide show
var crossFadeDuration = 1

var initialised = false
var t
var j = 0
/*
var p = Pic.length

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

function runSlideShow()
{
	if (window.initialised != true) {
		init()
		t = setTimeout('runSlideShow()', slideShowSpeed)
		return
	}
	
	if (document.all) {
		document.images.SlideShow.style.filter="blendTrans(duration=2)"
		document.images.SlideShow.style.filter="blendTrans(duration=crossFadeDuration)"
		document.images.SlideShow.filters.blendTrans.Apply()
	}
	
	if (typeof(window.preLoad[j]) != 'undefined') {
		document.images.SlideShow.src = window.preLoad[j].src;
	}
	
	if (document.all) {
		document.images.SlideShow.filters.blendTrans.Play()
	}
	
	/* random number */
	var newJ = j;
	while (newJ == j) {
		newJ = Math.floor(Math.random() * window.p)
	}
	j = newJ
	
	t = setTimeout('runSlideShow()', slideShowSpeed)
}

function init()
{
	window.initialised = true;

	var Container = document.getElementById("header_banner");
	var Images = Container.getElementsByTagName('img');
	
	window.p = Images.length;

	window.preLoad = new Array()
	for (i = 1; i < p; i++) {
		window.preLoad[i-1] = new Image()
		window.preLoad[i-1].src = Images[i].src
	}
	
	/* start with random image */
	var current = Math.floor(Math.random() * window.p)
	if (typeof(window.preLoad[current].src) != 'undefined') {
		document.images.SlideShow.src = window.preLoad[current].src
	}
}