// JavaScript Document

	myPix = new Array("/assets/rotating_banner1.jpg","/assets/rotating_banner2.jpg");
	imgCt = myPix.length;
	
	function choosePic() {
		if (document.images) {
			randomNum = Math.floor((Math.random() * imgCt));
			document.myPicture.src = myPix[randomNum];
		}
	}