function imageChange(whatButton,doWhat) {

newImage = "/buttons/" + whatButton + doWhat + ".gif"

document.getElementById(whatButton).src = newImage

}