// display a random image

	myPix = new Array("imgs/photo1.jpg","imgs/photo2.jpg","imgs/photo3.jpg","imgs/photo4.jpg","imgs/photo5.jpg","imgs/photo6.jpg","imgs/photo7.jpg","imgs/photo8.jpg","imgs/photo9.jpg","imgs/photo10.jpg","imgs/photo11.jpg","imgs/photo12.jpg","imgs/photo13.jpg")
	imgCt = myPix.length 

	function choosePic() {
		if (document.images) {
			randomNum = Math.floor((Math.random() * imgCt))
			document.rgb_pic.src = myPix[randomNum]
		}
	}