myPix = new Array("/atf/cf/{50882250-EE61-4B06-9332-6B2E1156A3CD}/HEADER1.GIF"
				  ,"/atf/cf/{50882250-EE61-4B06-9332-6B2E1156A3CD}/HEADER2.GIF"
				  ,"/atf/cf/{50882250-EE61-4B06-9332-6B2E1156A3CD}/HEADER3.GIF"
				  ,"/atf/cf/{50882250-EE61-4B06-9332-6B2E1156A3CD}/HEADER4.GIF")
imgCt = myPix.length

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