19417x1 ) ( 9456 .)