Jose has $1.25 in 5-cent and 10-cent coins. He has 3 times as many 5-cent coins as that of 10-cent coins. Find the number of 5-cent coins and 10-cent coins.