John had 9 pencils. His friend gave him another 4 pencils. How many pencils does John have now?