1document.write("<p>Miscellaneous Pages</p><ul>\ 2<li class='inline'><a href='copyright.html'>Copyright Notice</a></li>\ 3<li class='inline'><a href='decode.html'>Event Messages and Status Words</a></li>\ 4<li class='inline'><a href='kern.html'>Kernel Model for Precision Timekeeping</a></li>\ 5<li class='inline'><a href='msyslog.html'><tt>ntpd</tt> System Log Messages</a></li>\ 6<li class='inline'><a href='kernpps.html'>PPSAPI Interface for Precision Time Signals</a></li>\ 7<li class='inline'><a href='pps.html'>Pulse-per-second (PPS) Signal Interfacing</a></li>\ 8<li class='inline'><a href='sitemap.html'>Site Map</a></li>\ 9</ul>") 10