// Random Image

var theImages = new Array()
theImages[0] = '/page/-/images/banner-picture1.jpg'
theImages[1] = '/page/-/images/banner-picture2.jpg'
theImages[2] = '/page/-/images/banner-picture3.jpg'
theImages[3] = '/page/-/images/banner-picture4.jpg'
theImages[3] = '/page/-/images/banner-picture5.jpg'
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 id="random" src="'+theImages[whichImage]+'" alt="Mast Head">');
}