Paul has 12 coins and Mary has 3 more coins than Paul. How many coins does Mary have?