( G„ 11724X7 .)