document.write("<table id=\"navigation\">");
document.write("<td><a href=\"index.html\"><span>Home</span></a></td>");
document.write("<td><a href=\"about.html\"><span>Choosing the site</span></a></td>");
document.write("<td><a href=\"location.html\"><span>The Location</span></a></td>");
document.write("<td><a href=\"what-to-see.html\"><span>What to see</span></a></td>");
document.write("<td><a href=\"articles.html\"><span>Other sites</span></a></td>");
document.write("<td><a href=\"observations.html\"><span>Images</span></a></td>");
document.write("<td><a href=\"calendar.php\"><span>Sky calendar</span></a></td>");
document.write("<td><a href=\"how-dark.html\"><span>Sky darkness</span></a></td>");
document.write("<td><a href=\"weather-stats.html\"><span>Weather stats</span></a></td>");
document.write("</table>");