// HTML NAVIGATION MENU
document.write('<style><!-- div.menu { display: none } --></style>');