1181834Srobertodocument.write("<ul>\ 2181834Sroberto<li class='inline'><a href='refclock.html'>Reference Clock Drivers</a><br>\ 3181834Sroberto<li class='inline'><a href='prefer.html'>Mitigation Rules and the <tt>prefer</tt> Keyword</a><br>\ 4181834Sroberto<li class='inline'><a href='howto.html'>How to Write a Reference Clock Driver</a><br>\ 5181834Sroberto</ul>")