Leon and Thomas have the same number of cherries. Leon eats 5 of his cherries and has 12 cherries left. Thomas eats 9 of his cherries. How many cherries does Thomas have left?