How many pens are there?