r&gt;</div>
<div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;00147                                        23,1,4,2&lt;br&gt;</div>
<div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;00148                                         23,2,3,2&lt;br&gt;</div>
<div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;00149                                     &lt;/li&gt;</div>
<div class="line"><a name="l00154"></a><span class="lineno">  154