// JavaScript Document

	// Set up the image files to be used.
	var theHome = new Array() // do not change this
	// To add more image files, continue with the
	// pattern below, adding to the array.

	theHome[0] = 'images/home_banner1.jpg'
	theHome[1] = 'images/home_banner2.jpg'
	theHome[2] = 'images/home_banner3.jpg'
	theHome[3] = 'images/home_banner4.jpg'

	
	// do not edit anything below this line

	var j = 0
	var p = theHome.length;
	var preBuffer = new Array()
	for (i = 0; i < p; i++){
   		preBuffer[i] = new Image()
   		preBuffer[i].src = theHome[i]
	}
	var whichHome = Math.round(Math.random()*(p-1));
	function showHome(){
		document.write('<img src="'+theHome[whichHome]+'">');
	}