var theImages = new Array() 
theImages[0] = 'peel_exp1024_1.gif'
theImages[1] = 'peel_exp1024_2.gif'
theImages[2] = 'peel_exp1024_3.gif'
theImages[3] = 'peel_exp1024_4.gif'
theImages[4] = 'peel_exp1024_5.gif'
theImages[5] = 'peel_exp1024_6.gif'
theImages[6] = 'peel_exp1024_7.gif'
theImages[7] = 'peel_exp1024_8.gif'
theImages[8] = 'peel_exp1024_9.gif'
theImages[9] = 'peel_exp1024_10.gif'
theImages[10] = 'peel_exp1024_11.gif'
theImages[11] = 'peel_exp1024_12.gif'
theImages[12] = 'peel_exp1024_13.gif'
theImages[13] = 'peel_exp1024_14.gif'
theImages[14] = 'peel_exp1024_15.gif'
theImages[15] = 'peel_exp1024_16.gif'
theImages[16] = 'peel_exp1024_17.gif'
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="/images/top_banner/'+theImages[whichImage]+'">');
}