John has a total of 13 coins in his pocket. Of the 13 coins, they are all either quarters or dimes. The total value of the coins is $2.50. How many quarters does John have in his pocket?