How many pencils could go around the Earth?