document.open();
document.write("Home");
document.write(" || ");
document.write("General");
document.write(" || ");
document.write("History");
document.write(" || ");
document.write("Newsletter");
document.write(" || ");
document.write("Contact Us");
document.write("
");
document.write("County Library System");
document.write(" || ");
document.write("Book Store");
document.write(" || ");
document.write("Gift Ideas");
document.write(" || ");
document.write("Links");
document.close();