// JavaScript Document

	// 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[0] = 'images/banner_1.jpg'
	theImages[1] = 'images/banner_2.jpg'
	theImages[2] = 'images/banner_3.jpg'
	theImages[3] = 'images/banner_4.jpg'
	theImages[4] = 'images/banner_5.jpg'
	theImages[5] = 'images/banner_6.jpg'
	theImages[6] = 'images/banner_7.jpg'
	theImages[7] = 'images/banner_8.jpg'
	theImages[8] = 'images/banner_9.jpg'
	theImages[9] = 'images/banner_10.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]+'">');
	}