document.write("
Miscellaneous Pages

\
- Copyright Notice\
- Event Messages and Status Words\
- Kernel Model for Precision Timekeeping\
- ntpd System Log Messages\
- PPSAPI Interface for Precision Time Signals\
- Pulse-per-second (PPS) Signal Interfacing\
- Site Map\

")
