25307 + 31 / 4.