6869707172737475767778
result = lval.toNodeSet().union(rval.toNodeSet()); } else { ValueSequence values = new ValueSequence(true); values.addAll(lval); values.addAll(rval); values.sortInDocumentOrder(); values.removeDuplicates(); result = values; } }