// Javascript Document
document.write("<span class=\"navlink\"><a href=\"index.htm\">home</a>&nbsp;&nbsp;|&nbsp;&nbsp;" + 
"<a href=\"history.htm\">history</a>&nbsp;&nbsp;|&nbsp;&nbsp;" +
"<a href=\"publications.htm\">books + publications</a>&nbsp;&nbsp;|&nbsp;&nbsp;" +
"<a href=\"http://www.leveson.org.uk/foundation.htm\">The Foundation of Lady Katherine Leveson</a>");