1181834Srobertodocument.write("<ul>\ 2181834Sroberto<li class='inline'><a href='debug.html'>NTP Debugging Techniques</a><br>\ 3181834Sroberto<li class='inline'><a href='rdebug.html'>Debugging Reference Clock Drivers</a><br>\ 4181834Sroberto<li class='inline'><a href='msyslog.html'><tt>ntpd</tt> System Log Messages</a><br>\ 5181834Sroberto</ul>")