Mike bought 7 new baseball trading cards to add to his collection. His dog ate half of his collection. There are now only 25 cards left. How many cards did Mike have to start with?