function imageOn(id) {
    document.getElementById(id).src = "../images/nav/" + id + "_over.gif";
}

function imageOff(id) {
    document.getElementById(id).src = "../images/nav/" + id + ".gif";
}