工具钳工常用的手用锯条，其长度为____mm。