9434X3 ) ( 42111 .)