: 7 + 15 =