var theImages = new Array();

theImages[0] = "random/WoibexHeader2.jpg";
theImages[1] = "random/WoibexHeader3.jpg";
theImages[2] = "random/WoibexHeader4.jpg";
theImages[3] = "random/WoibexHeader5.jpg";
theImages[4] = "random/WoibexHeader6.jpg";
theImages[5] = "random/WoibexHeader7.jpg";
theImages[6] = "random/WoibexHeader8.jpg";
theImages[7] = "random/WoibexHeader9.jpg";
theImages[8] = "random/WoibexHeader10.jpg";
theImages[9] = "random/WoibexHeader11.jpg";
theImages[10] = "random/WoibexHeader12.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 src="'+theImages[whichImage]+'">');
}