	<!-- Begin
	// 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/rotate/001.gif'
	theImages[1] = 'images/rotate/002.gif'
	theImages[2] = 'images/rotate/003.gif'
	theImages[3] = 'images/rotate/004.gif'
	theImages[4] = 'images/rotate/005.gif'
	theImages[5] = 'images/rotate/006.gif'
	theImages[6] = 'images/rotate/007.gif'
	theImages[7] = 'images/rotate/008.gif'
	theImages[8] = 'images/rotate/009.gif'
	theImages[9] = 'images/rotate/010.gif'
	theImages[10] = 'images/rotate/011.gif'
	theImages[11] = 'images/rotate/012.gif'
	theImages[12] = 'images/rotate/013.gif'
	theImages[13] = 'images/rotate/014.gif'
	theImages[14] = 'images/rotate/015.gif'
	theImages[15] = 'images/rotate/016.gif'
	theImages[16] = 'images/rotate/017.gif'
	theImages[17] = 'images/rotate/020.gif'
	theImages[18] = 'images/rotate/021.gif'
	theImages[19] = 'images/rotate/022.gif'
	
	// 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]+'">');
	}
	//  End -->