Jerry has 12 papers and Mary has 7 more papers than Jerry. How many papers does Mary have?