function imageoff(name) {
   document.images[name].src = "./images/button_" + name + "_off.gif"
}
function imageon(name) {
   document.images[name].src = "./images/button_" + name + "_on.gif"
}