function changeClass(myElementID) {
if(document.getElementById(myElementID).className == "button") {
document.getElementById(myElementID).className = "buttonover";
}
else {
document.getElementById(myElementID).className = "button";
}
}