5 + 12 = 17