: 15 + 7 =