//Dit bestand bevat de functie voor een random image	
	
	var headerImagesn = new Array() // verander dit niet
	// Om meer afbeelingen te gebruiken ga door
	// met het patroon hieronder
	// De afdeeldingen kunnen wel een andere bestandsnaam hebben bijv: header_01, header_02
	
	headerImagesn[0] = 'images/sidebar/random-08.jpg'
	headerImagesn[1] = 'images/sidebar/random-09.jpg'
	headerImagesn[2] = 'images/sidebar/random-10.jpg'
	headerImagesn[3] = 'images/sidebar/random-11.jpg'
	headerImagesn[4] = 'images/sidebar/random-12.jpg'
	headerImagesn[5] = 'images/sidebar/random-13.jpg'
	headerImagesn[6] = 'images/sidebar/random-14.jpg'
	
	// Hieronder niks veranderen	
	var jn = 0
	var pn = headerImages.length;
	var preBuffer = new Array()
	for (i = 0; i < pn; i++){
	   preBuffer[i] = new Image()
	   preBuffer[i].src = headerImagesn[i]
	}
	
	var whichImagen = Math.round(Math.random()*(pn-1));
	
	function showImage2(){
		document.write('<img src="'+headerImagesn[whichImagen]+'">');
	}