9454 x 10 .)