一支铅笔8厘米5毫米，用去15毫米，这支铅笔还有多少厘米长?