what to do with short pencils