image_array = new Array(
				'testudo.jpg Alt="Testudo Ready for Winter"',
				'air.jpg Alt="The Big M"',
				'chapel.jpg Alt="Memorial Chapel at Night"',
				'micro.jpg Alt="Microbiology Building"',
				'holz.jpg Alt="Holzapfel Hall"'
								);
        rand_image = Math.floor(image_array.length * Math.random());
        document.write("<img src=images/" + image_array[rand_image] + "width=175 height=145>");