How many pencils are there