<ahref="/cgi-bin/display?a=count_nodes">Number of OIDs <!--in the database-->recorded</a><!-- DM: Written "recorded" because it is shorter to fit in a single line -->
<li>Spaces between words are interpreted as "AND" (so all listed words do appear in the results) except if an explicit "<code>OR</code>" is mentioned between words.</li>
<li>Words between quote marks (<code>"</code>) are grouped together during the search.</li>
<li>Results containing a word preceded by a hyphen (<code>-</code>) will be excluded.</li>
<li>Stop words (like "and", "of", "from", etc.) are ignored.</li>
<li>Words are converted to a (shorter) normalized form based on an English dictionary.</li>