function switchImage(which,state) {
    document.getElementById("button_" + which).src = "/evv/structure/images/" + which + "_" + state + ".gif";
}