10269 ) ( 416 .)