10271 x 1 .)