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