document.write("     <script language=JavaScript src=menu.js></script>")