There are 85 cards in a box and Carlos takes 13 cards. How many are left?