myPix = new Array("/atf/cf/{DE68F7B2-5F6A-4B57-9794-AFE5D27A3CFF}/banners1.jpg"
				  ,"/atf/cf/{DE68F7B2-5F6A-4B57-9794-AFE5D27A3CFF}/banners2.jpg"
				  ,"/atf/cf/{DE68F7B2-5F6A-4B57-9794-AFE5D27A3CFF}/banners3.jpg"
				  ,"/atf/cf/{DE68F7B2-5F6A-4B57-9794-AFE5D27A3CFF}/banners4.jpg"
				  ,"/atf/cf/{DE68F7B2-5F6A-4B57-9794-AFE5D27A3CFF}/banners5.jpg"
				  ,"/atf/cf/{DE68F7B2-5F6A-4B57-9794-AFE5D27A3CFF}/banners6.jpg")
imgCt = myPix.length

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