10238 x 3 .)