XML 4.4.25 (to be translated)