randomPic = new Array("images/riverboat_background.jpg","images/johny_mercer.jpg","images/piller_thing.jpg","images/clock_tower.jpg","images/buoy.jpg","images/ballet.jpg","images/cfcc.jpg","images/ship.jpg","images/scuba.jpg","images/ballet2.jpg","images/boats.jpg","images/clock2.jpg")
imgCt = randomPic.length

function randomImage() {
	if (document.images) {
		randomNum = Math.floor
			((Math.random() * imgCt))
		document.myPicture.src = 
			randomPic[randomNum]
	}
}