function hover(name) {
    var img = document.getElementById("nav" + name);
    if (img) {
        img.src = "/images/btn-" + name + "_on.gif";
        //img.src = "/images/" + name + ".gif";
    }
}

function restore(name) {
    var img = document.getElementById("nav" + name);
    if (img) {
        img.src = "/images/btn-" + name + ".gif";
    }
}