indexFrame = new Array("/art/nav_images1.jpg","/art/nav_images2.jpg","/art/nav_images3.jpg","/art/nav_images4.jpg","/art/nav_images5.jpg","/art/nav_images6.jpg","/art/nav_images7.jpg","/art/nav_images8.jpg","/art/nav_images9.jpg","/art/nav_images10.jpg","/art/nav_images11.jpg")
imgCt = indexFrame.length

function pickFrame() {
        if (document.images) {
        randomNum = Math.floor
	((Math.random() * imgCt))
	document.thisFrame.src = indexFrame[randomNum]
	}
}