function navMouseOver(elid, imgprefix) {
    var elem = document.getElementById(elid);
    elem.src = "/img/" + imgprefix + "_mo.jpg";
}

function navMouseOut(elid, imgprefix) {
    var elem = document.getElementById(elid);
    elem.src = "/img/" + imgprefix + ".jpg";
}