rm.status.selectedIndex].value + ")";
}
//-->
</SCRIPT>


<br>
<SCRIPT type="text/javascript">
<!--
function doSubmit(form)
{
    var andFilter = new Array;
    var critCount = 0;

    if (requestNumberRangeCritInUse()) {
        if ((andFilter[critCount++] = requestNumberRangeCrit()) == null)
            return;
    }	
    if (typeCritInUse()) {
        if ((andFilter[critCount++] = typeRangeCrit()) == null)
            return;
    }	
    if (statusCritInUse()) {
        if ((andFilter[critCount++] = statu