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