function imgOn (imgId){
document.getElementById(imgId).src = "gui/" + imgId + "_over.gif";
}

function imgOff (imgId){
document.getElementById(imgId).src ="gui/" + imgId + ".gif";

}