+ 7 = 12