document.getElementById("nav1").className = "current";'; echo ''; close_page(); ?>