lineno">    8</span>&#160;<span class="comment">It&#39;s included in the documentation because it&#39;s a slightly unusual number and useful to know </span></div><div class="line"><a name="l00009"></a><span class="lineno">    9</span>&#160;<span class="comment">about when you&#39;re writing sketches.</span></div><div class="line"><a name="l00010"></a><span class="lineno">   10</span>&#160;<span class="comment">*/</span></div><div class="line"><a name="l00011"></a><span class="lineno">   11</span>&#160;<span