25438 x 10 .)