// JavaScript Document


function nav_show(i) {

    document.getElementById(i).style.display = "inline";
}

function nav_hide(i) {document.getElementById(i).style.display="none";}