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