var HeaderImages = new Array()

HeaderImages[0] = '../../../images/Header08b.jpg'
HeaderImages[1] = '../../../images/Header08c.jpg'
HeaderImages[2] = '../../../images/Header08d.jpg'
HeaderImages[3] = '../../../images/Header08e.jpg'
HeaderImages[4] = '../../../images/Header08f.jpg'


var j = 0
var l = HeaderImages.length;

var preBuffer = new Array()
for (i = 0; i < l; i++){
   preBuffer[i] = new Image()
   preBuffer[i].src = HeaderImages[i]
}

var ImageSel = Math.round(Math.random()*(l-1));
function showImage(){
document.write('<img src="'+HeaderImages[ImageSel]+'">');
}