// JavaScript Document
			<!-- Begin
				// Set up the image files to be used.
				var theImages = new Array() 
					// do not change this
					// To add more image files, continue with the
					// pattern below, adding to the array.

					theImages[0] = 'images/banners/_topo_green.jpg'
					theImages[1] = 'images/banners/_tm_green.jpg'
					theImages[2] = 'images/banners/_lidar_green.jpg'
					theImages[3] = 'images/banners/_doqq_green.jpg'
					theImages[4] = 'images/banners/_coropleth_green.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 BannerImage = Math.round(Math.random()*(p-1));
					
				//document.write('<img src="'+theImages[BannerImage]+'"></td>');
				document.write('<td width="500" valign="middle" background="'+theImages[BannerImage]+'">&nbsp;</td>');
				
			//  End -->