Maria has 20 tickets and Rosie has 7 fewer tickets than Maria. How many tickets does Rosie have?