How many micrometer makes a millimeter?