Amy has 6 pencils, Jack has 7 pencils, and Stacy has 4 pencils. How many pencils do they have in total?