document.write("<li><a href=\"index.html\" id=\"current\">About</a></li>");
document.write("<li><a href=\"demos.html\">Demos</a></li>");
document.write("<li><a href=\"userguide.html\">For users</a></li>");
document.write("<li><a href=\"development.html\">Development</a></li>");
document.write("<li><a href=\"publications.html\">Research papers</a></li>");
document.write("<li><a href=\"aibo_resources.html\">AIBO resources</a></li>");
document.write("<li><a href=\"contact.html\">Contact</a></li>");