public void attribute(int nameCode, int typeCode, CharSequence value, int locationId, int properties) throws XPathException {
if (escapeURIAttributes &&
isURLAttribute(currentElement, nameCode) &&
(properties & ReceiverOptions.DISABLE_ESCAPING) == 0) {
CharSequence normalized = new Normalizer(Normalizer.C).normalize(value);
getUnderlyingReceiver().attribute(
nameCode, typeCode, HTMLURIEscaper.escapeURL(normalized, true), locationId,
properties | ReceiverOptions.DISABLE_CHARACTER_MAPS);
} else {
getUnderlyingReceiver().attribute(