6257X17 ) ( 9947 .)