there are electric and manual pencil sharpeners