( «• 11252 .)