define two separate CHECK lines that match on the same line.
</p>
-
-
</div>
<!-- _______________________________________________________________________ -->
</div>
-
<!--=========================================================================-->
<div class="doc_section"><a name="nightly">Running the nightly tester</a></div>
<!--=========================================================================-->