6987 X1 ) ( 3175 .)