10139 X 3 .)