17. John has 12 more 10-cent coins than 5-cent coins. The total value of all
his coins is N$9.60. Find the total number of coins he has.