Javascript... lo inserisci nel tuo documento .html tra i tag <script type = "text/javascript"> e </script> nel punto in cui vuoi che appaia la navigazione.

L'ho appena modificato... ricopialo ora.

basta togliere le doppie slash dalla prima riga e metterle sulla seconda