var theImagesthree = new Array() // do not change this

theImagesthree[0] = 'animated13.gif'
theImagesthree[1] = 'animated14.gif'
theImagesthree[2] = 'animated15.gif'
theImagesthree[3] = 'animated16.gif'
theImagesthree[4] = 'animated17.gif'
theImagesthree[5] = 'animated18.gif'

var j = 0
var p = theImagesthree.length;
var preBuffer = new Array()
for (i = 0; i < p; i++){
   preBuffer[i] = new Image()
   preBuffer[i].src = theImagesthree[i]
}
var whichImagethree = Math.round(Math.random()*(p-1));
function showImagethree(){
document.write('<img src="gifs/'+theImagesthree[whichImagethree]+'" border=1px>');
}