Which operation would you use to find the total of 23 and 17?