	<!--
		var theImages = new Array() 
		theImages[0] = 'header_build1.jpg'
		theImages[1] = 'header_build2.jpg'
		theImages[2] = 'header_build3.jpg'
		theImages[3] = 'header_build4.jpg'
		theImages[4] = 'header_build5.jpg'
		theImages[5] = 'header_build6.jpg'
		theImages[6] = 'header_build7.jpg'
		theImages[7] = 'header_build8.jpg'
		theImages[8] = 'header_build9.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 whichImage = Math.round(Math.random()*(p-1));
		
		function showImage() {
			document.write('<img src="images/'+theImages[whichImage]+'" height="106" width="393">');
		}		
	// -->