/pre></dt>
<dd>



</dd>
</div>
<div id="PRIORITY_HIGH">
<dt><pre><a href="jsos.html#PRIORITY_HIGH"><span class="Identifier">PRIORITY_HIGH</span></a><span class="Other">:</span> <span class="Identifier">cint</span></pre></dt>
<dd>



</dd>
</div>
<div id="PRIORITY_HIGHEST">
<dt><pre><a href="jsos.html#PRIORITY_HIGHEST"><span class="Identifier">PRIORITY_HIGHEST</span></a><span class="Other">:</span> <span class="Identifier">cint</span></pre></dt>
<dd>



</dd>
</div>
<div id="PRIORITY_LOW">
<dt><pre><a href=