A man has 15 coins in his pocket. They are all quarters and dimes. He has a total of $3.00. How many of his coins are dimes.