Paul bought a discount card for the bus. The card allows him to buy daily bus passes for $1.70. After one month, Paul bought 12 passes and spent a total of $25.40. How much did he spend on the student discount card?