What is 45 + 17?