String s = str.charAt(pos) + ""; return(rbc.getCollationElementValue(s)); }
if (e == null) return NULLORDER;  return e.getValue(); }
previous(){  --pos;  if (pos < 0)    return(NULLORDER);  String s = str.charAt(pos) + "";  return(rbc.getCollationElementValue(s));}