from within a Java application, in order to extract the result from the result sequence, one would have to use this code:

int pos = ((XSInteger)rs.first()).intvalue(); println(pos);

in order to get the result of ‘11’