/*** * header_menu.js * AJ Gray * 2002.01.14 * Global script for writing out the header. */ d.write(""); d.write(" "); d.write(" "); d.write(" "); d.write(" "); d.write(" "); d.write(" "); d.write(" "); d.write(" "); d.write(" "); d.write("
"); d.write(" "); d.write(" "); d.write(" "); d.write(" "); d.write(" "); d.write(" "); d.write("
"); d.write("
");