钻机钻孔时，当钻头磨损量达( ) mm时，应予更换。