Bill's boss paid $20.05 for doughnuts for the office staff. The total included 1.30 cents for tax and $1.25 per doughnut. How many doughnuts did Bill's boss buy?