Paul has 12 coins in his pocket, consisting entirely of dimes and quarters. If he has a total of 240 cents in coins, how many coins of each type are in his pocket?.