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?