// Set up the image files to be used.
var theMenuImages = new Array() // do not change this
// To add more image files, continue with the
// pattern below, adding to the array.

theMenuImages[0] = 'http://www.webengine.be/Media/menu_v3/menu_image_000.gif'
theMenuImages[1] = 'http://www.webengine.be/Media/menu_v3/menu_image_001.gif'
theMenuImages[2] = 'http://www.webengine.be/Media/menu_v3/menu_image_002.gif'
theMenuImages[3] = 'http://www.webengine.be/Media/menu_v3/menu_image_003.gif'
theMenuImages[4] = 'http://www.webengine.be/Media/menu_v3/menu_image_004.gif'
theMenuImages[5] = 'http://www.webengine.be/Media/menu_v3/menu_image_005.gif'

var j = 0
var p = theMenuImages.length;
var preBufferMenu = new Array()
for (i = 0; i < p; i++){
   preBufferMenu[i] = new Image()
   preBufferMenu[i].src = theMenuImages[i]
}
var whichMenuImage = Math.round(Math.random()*(p-1));
function showMenuImage(){
	document.write('<img src="'+theMenuImages[whichMenuImage]+'" WIDTH="580" HEIGHT="125" BORDER="0">');
}