8388X1- ) ( 6842 .)