// Set up the image files to be used.
var theImages = new Array() // do not change this
// To add more image files, continue with the
// pattern below, adding to the array.
 
	theImages[00] = 'images/home_subHdr01.jpg'
	theImages[01] = 'images/home_subHdr02.jpg'
	theImages[02] = 'images/home_subHdr03.jpg'
	theImages[03] = 'images/home_subHdr04.jpg'
	theImages[04] = 'images/home_subHdr05.jpg'
		
 
// do not edit anything below this line
 
	var j = 0
	var p = theImages.length;
	var preBuffer = new Array()
	for (i = 0; i < p; i++){
	   preBuffer[i] = new Image()
	   preBuffer[i].src = theImages[i]
	}
	var whichImage = Math.round(Math.random()*(p-1));
	function showImage(){
	document.write('<img src="'+theImages[whichImage]+'">');
}