s="line"><a name="l00018"></a><span class="lineno">   18</span>&#160;<span class="comment">c along with this software; see the file COPYING.  If not, see</span></div>
<div class="line"><a name="l00019"></a><span class="lineno">   19</span>&#160;<span class="comment">c &lt;http://www.gnu.org/licenses/&gt;.</span></div>
<div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="comment">c</span></div>
<div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160