• 25395 + 7 1 / 2.