//Dit bestand bevat de functie voor een random image	
	
	var headerImages = 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
	
	headerImages[0] = 'images/sidebar/random-01.jpg'
	headerImages[1] = 'images/sidebar/random-02.jpg'
	headerImages[2] = 'images/sidebar/random-03.jpg'
	headerImages[3] = 'images/sidebar/random-04.jpg'
	headerImages[4] = 'images/sidebar/random-05.jpg'
	headerImages[5] = 'images/sidebar/random-06.jpg'
	headerImages[6] = 'images/sidebar/random-07.jpg'
	
	// Hieronder niks veranderen	
	var j = 0
	var p = headerImages.length;
	var preBuffer = new Array()
	for (i = 0; i < p; i++){
	   preBuffer[i] = new Image()
	   preBuffer[i].src = headerImages[i]
	}
	
	var whichImage = Math.round(Math.random()*(p-1));
	
	function showImage(){
		document.write('<img src="'+headerImages[whichImage]+'">');
	}