Thomas has a collection of 25 coins; some are dimes and some are quarters. If
the total value of all the coins is $5.05, how many kinds of coins are there