What are these plastic tube things on the pen at the front desk?