function on(theId){
    document.getElementById(theId).src = "images/menu/" + theId + "_on.png";
}

function off(theId){
    document.getElementById(theId).src = "images/menu/" + theId + ".png";
}