Pencil extension.stl

Do you find it annoying to have really short Pencils that you can still use, then I have the perfect solution: For the #DIY contest I designed a pencil extension for pencils/coloring pencils that have a diameter of 7mm. To use it, insert your short pencil into the opening to make it longer.