<html> <body> <script src="nav.js"></script> </body> </html>