For every dollar Ben spent on bagels, David spent 25 cents less. Ben paid 12.50 more than David. How much did they spend in the bagel store together?