<!-- Begining
// [Image files].
var RefreshImages = new Array() // do not change this
// To use more image files, follow the
// pattern below, and adding to the array.

RefreshImages[0] = '../images/refresh/01.gif'
RefreshImages[1] = '../images/refresh/02.gif'
RefreshImages[2] = '../images/refresh/03.gif'
RefreshImages[3] = '../images/refresh/04.gif'
RefreshImages[4] = '../images/refresh/05.gif'


// 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]
}
var whichImage = Math.round(Math.random()*(p-1));
function showImage(){
document.write('<img src="'+RefreshImages[whichImage]+'">');
}
//  Ending -->
