static public String ParseSrcPos() {
      if (str.charAt(0) != '(' || str.charAt(str.length() - 1) != ')') {
         return null;
      }
      if (str.length() >= 3) {
         String srcpos = str.subSequence(1, 4).toString();
         if (ParsePosition.IsPos(srcpos)) {
            str = str.subSequence(4, str.length()).toString();
            return srcpos;
         }
      }
      if (str.length() >= 2) {
         String srcpos = str.subSequence(1, 3).toString();
         if (ParsePosition.IsPos(srcpos)) {
            str = str.subSequence(3, str.length()).toString();
            return srcpos;
         }
      }
      return null;
   }