function hilite(i) {

    document.getElementById(i).style.backgroundImage = "url('/images/nav_button_bgd_hi2.png')";
    
}

function restore(i) {

    document.getElementById(i).style.backgroundImage = "none";

}

function show(i) {

    document.getElementById(i).style.border = '2px solid #ff8a01';
    
}

function hide(i) {

    document.getElementById(i).style.border = '2px solid white';

}