9494X3 ) ( 42506 .)