25157 + 71 / 8 .]