</p>\r
</dd>\r
<dt>\r
---short, short=number\r
+--short, --short=number\r
</dt>\r
<dd>\r
<p>\r
</div>\r
<div id="footer">\r
<div id="footer-text">\r
-Last updated 19-Feb-2006 08:45:15 UTC\r
+Last updated 20-Feb-2006 07:40:03 UTC\r
</div>\r
</div>\r
</body>\r