the average pencil is seven inches long, with just a half-inch eraser in case you thought optimism was dead. -Robert Brault-