Texas spent $35 billion on pens