<!-- Random Image -->
// Set up the image files to be used.
var randImages = new Array() 
randImages[0] = 'images/header_pic_1e.jpg'
randImages[1] = 'images/header_pic_2e.jpg'
randImages[2] = 'images/header_pic_3e.jpg'

var j = 0
var z = randImages.length;
var preBuffer = new Array()
for (i = 0; i < z; i++){
   preBuffer[i] = new Image()
   preBuffer[i].src = randImages[i]
}
var whichImage = Math.round(Math.random()*(z-1));
function showImage(){
document.write('<img src="'+randImages[whichImage]+'">');
}

//  End -->
