</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;         };</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;         <span class="comment">/*The new run result is stored in the xml memory, and can&#39;t be copied and used directly </span></div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;<span class="comment">          *so