How Many Different Pencils Are There