John has a total of 13 coins in his pocket. Of the 13 coins is $2.50. How many quarters does John have in his pocket?