function writeJS(){
var str='';
str+='<ul>';
str+='  <li><a href="\/index.html">Home<\/a><\/li>';
str+='<li><a href="\/sitemap.html">Sitemap<\/a><\/li>';
str+='<li><a href="\/credits.html">Authors<\/a><\/li>';
str+='<li><a href="\/about.html">About<\/a><\/li>';
str+='<li><a href="\/contact.html">Contact<\/a><\/li>';
str+='<li><a href="\/links.html">Links<\/a><\/li>';
str+='<\/ul>';
document.write(str);
}
writeJS();