12678 X 3 .)