function nav_on(name){

   name.className = "nav_alt";

}

function nav_off(name){

   name.className = "nav";

}

function nav_click(name){

   document.location = name + ".htm";

}