span="3" width="100%"><a href="bigloo-7.html#Internet">Internet</a></td></tr>
 <tr><td></td><td valign="top" align="left">6.12</td><td colspan="3" width="100%"><a href="bigloo-7.html#URLs">URLs</a></td></tr>
 <tr><td></td><td valign="top" align="left">6.13</td><td colspan="3" width="100%"><a href="bigloo-7.html#HTTP">HTTP</a></td></tr>
 <tr><td valign="top" align="left">7</td><td colspan="4" width="100%"><a href="bigloo-8.html#Pattern-Matching">Pattern Matching</a></td></tr>
 <tr><td></td><td valign="top" a