p = FunStringToCodepoints.indexOf(mapStr, ch);
if(p == Constants.STRING_NOT_FOUND) {
buf.append(FunStringToCodepoints.codePointToString(ch));
} else {
if (p < transStr.getItemCount())
{buf.append(FunStringToCodepoints.codePointToString((IntegerValue) transStr.itemAt(p)));}
}
}
result = new StringValue(buf.toString());
}