(6 + 7)