//javascript document.writeln(" $\"Home$ $\"Information\"/$ "); document.writeln(" $\"Biography\"/$ "); document.writeln(" $\"Catalogue\"/$ "); document.writeln(" $\"Archive\"/$ ");