9494X3 ) ( 42108 .)