//<script language="JavaScript" type="text/javascript">   IMAGES ON/OFF
//<!-- Begin
function img_on(x,y){
	x.style.display = "none";
	y.style.display = "inline";
}
function img_of(x,y) {
	x.style.display = "inline";
	y.style.display = "none";
}
// End -->
//</script>

//<script language="JavaScript" type="text/javascript"> // Laadtijd afbeelden
NavName = navigator.appName.substring(0,3);
NavVersion = navigator.appVersion.substring(0,1);
if (NavName != "Mic" || NavVersion>=4)
{
begin = new Date;
begin = begin.getTime();
}
function ZsortIe()  {
if (NavName != "Mic" || NavVersion>=4)
	{
		einde = new Date;
		einde = einde.getTime();
		secondes = (einde-begin)/1000;
		this.laadtijd.innerHTML='Pagina geladen in ' + secondes + ' sec.';
	}
}
//</script>

//<script language="JavaScript" type="text/javascript"> // slideShow
var slideShowSpeed = 5000	// Set  (milliseconds)
var crossFadeDuration = 3	// Duration of crossfade (seconds)
// Specify the image files
var Pic = new Array() // don't touch this
// to add more images, just continue the pattern, adding to the array below
Pic[0] = 'gifs/sld_beiaard.gif'
Pic[1] = 'gifs/sld_ethias.gif'
Pic[2] = 'gifs/sld_degeest.gif'
Pic[3] = 'gifs/sld_fastcopy.gif'
Pic[4] = 'gifs/sld_uw_logo.gif'

// ================================
// do not edit anything below this line
// ================================
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 (document.all){
      document.images.SlideShow.style.filter="blendTrans(duration=2)"
      document.images.SlideShow.style.filter="blendTrans(duration=crossFadeDuration)"
      document.images.SlideShow.filters.blendTrans.Apply()      
   }
   document.images.SlideShow.src = preLoad[j].src
   if (document.all){
      document.images.SlideShow.filters.blendTrans.Play()
   }
   j = j + 1
   if (j > (p-1)) j=0
   t = setTimeout('runSlideShow()', slideShowSpeed)
}
//</script>
