var thePics = new Array("splash_a.jpg","splash_b.jpg","splash_c.jpg","splash_d.jpg","splash_e.jpg")
//var thePics = new Array("homepic.gif")

function getPic() {
	if (document.images) {
		randomNum = Math.floor((Math.random() * 10)) % 5
		document.thePicture.src = "/images/splash/" + thePics[randomNum]
					//document.thePicture.src = "/images/splash/" + thePics[0]
					//document.thePicture.src = thePics[0]
	}
}