4 + 6 + 7 =