function over(id) {
 document.getElementById(id).src = "graphics/" + id + "On.png";
}

function out(id) {
 document.getElementById(id).src = "graphics/" + id + "Off.png";
}