function HalHeader() { document.write(""); // write header out first document.write("
"); document.write("The Holland "); document.write("America "); document.write("Line"); document.write(" Postcard Collector's Reference Library"); document.write("

"); };