Kevin has a coin collection. He keeps 5 of the coins in his box, which is 25% of the collection. How many total coins are in his collection?