What is 6 + 17?