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