XML 4.7.2 p1