10271 / 1 .)