What metric measurement would you use to measure the length of your pencil?