: 7 + 7 =