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