document.write(
'<div id="container">\
  <ul id="minitabs">\
      <li><a href="./index.php">Home</a></li>\
      <li><a href="./index.php?index=/content/about.incl">About</a></li>\
      <li><a href="./index.php?index=/content/publications.incl">Publications</a></li>\
	  <li><a href="./index.php?index=/content/links.incl">Links</a></li>\
      <li><a href="./index.php?index=/content/contact.incl">Contact</a></li>\
  </ul>\
</div>'
);