5231 X 2 .)