一枝铅笔原来长8厘米7毫米，用去了9毫米。现在这枝铅笔有多少毫米？