function imageChange(whatButton,doWhat) {

newImage = "/lib/" + whatButton + "_" + doWhat + ".png"

document.getElementById(whatButton).src = newImage

}