Pencils

[queensj]

What are the name for the kids pencil that have extra tips inside? You just put the dull tip into the back end and it pushes forward a new tip.

ETA: Also looking for the name of those fat pens that have like 10 different colours of ink. I had one in 1992 and it was quite the thing.