12842X3 . ) ( 6934 .)