function changeOver(anImage) {
   document.images[anImage].src = "images/" + anImage + "over.gif";
}
function changeOut(anImage) {
   document.images[anImage].src = "images/" + anImage + ".gif";
}