function mouseDown(button_id) {
    var button = document.getElementById(button_id);
    button.style.background = "url(../img/button_pressed.gif)";
}

function mouseUp(button_id) {
    var button = document.getElementById(button_id);
    button.style.background = "url(../img/button.gif)";
}