document.write('<a href="home.htm" target="_self">Home</a> | <a href="lodging.htm" target="_self">Lodging</a> | <a href="dining.htm" target="_self">Dining</a> | <a href="history.htm" target="_self">History</a> | <a href="whattodo.htm" target="_self">What To Do</a>')