712 + 25 =