function thisIsPublicLibrary() {} function headerx(title, links) { header_i(); document.write("" + links + ""); header_title(title); } function header(title) { header_i(); header_title(title); } function header_i() { // document.write(""); document.write(""); document.write('') //navigBar(); } function navigBar() { document.write(""); document.write(""); document.write(""); document.write(""); document.write(""); document.write(""); document.write(""); document.write("

"); document.write("

"); document.write("

"); document.write("
Home"); document.write("

"); document.write("Overview"); document.write("
Bibliography"); document.write("
Links"); document.write("

"); } function header_title(title) { document.write("

"); document.write(""); document.write(title); document.write(""); document.write("

"); } function footer(date) { document.write("

") document.write(""); document.write(""); document.write(""); document.write(""); document.write(""); document.write("

Optimized for 1024 x 768 resolution

Last update: " + date + "

"); document.write("

"); }