<!-- Begining
// [Image files].
var RefreshImages = new Array(); // do not change this
var UsedImages = new Array(); // keeps track of used images
// To use more image files, follow the
// pattern below, and adding to the array.

RefreshImages[0] = 'images/large/001.jpg';
RefreshImages[1] = 'images/large/002.jpg';
RefreshImages[2] = 'images/large/003.jpg';
RefreshImages[3] = 'images/large/004.jpg';
RefreshImages[4] = 'images/large/005.jpg';
RefreshImages[5] = 'images/large/006.jpg';
RefreshImages[6] = 'images/large/007.jpg';
RefreshImages[7] = 'images/large/008.jpg';
RefreshImages[8] = 'images/large/009.jpg';
RefreshImages[9] = 'images/large/010.jpg';
RefreshImages[10] = 'images/large/011.jpg';
RefreshImages[11] = 'images/large/012.jpg';

// don't change anything below

var j = 0;
var p = RefreshImages.length;
var preBuffer = new Array();
for (i = 0; i < p; i++){
   preBuffer[i] = new Image();
   preBuffer[i].src = RefreshImages[i];
   UsedImages[i] = 0;
}
var whichImage;
function showImage(){
    i=0
    do {
        i++
        whichImage = Math.round(Math.random()*(p-1));
    } while(UsedImages[whichImage] == 1 && i < 100000)
UsedImages[whichImage] = 1;
document.write('<img src="'+RefreshImages[whichImage]+'">');
}
//  Ending -->

