9,138 X 2 .)