/span>, out);
<a name="l00417"></a>00417         }
<a name="l00418"></a>00418 }
<a name="l00419"></a>00419 <span class="comment"></span>
<a name="l00420"></a>00420 <span class="comment">/**</span>
<a name="l00421"></a>00421 <span class="comment">   ## FUNCTION:</span>
<a name="l00422"></a>00422 <span class="comment">        void write_pocket_pqr</span>
<a name="l00423"></a>00423 <span class="comment">  </span>
<a name="l00424"></a>00424 <span class="comment">   ## SPECIFICATION: </span>
<a name="l00425"></a