// JavaScript Document

myPix = new Array("images/header_img_01.jpg", "images/header_img_02.jpg", "images/header_img_03.jpg", "images/header_img_04.jpg", "images/header_img_05.jpg", "images/header_img_06.jpg", "images/header_img_07.jpg")
imgCt = myPix.length

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