10238 X 3 .)