当管线焊缝爆裂，不能用管卡的方法堵住，裂缝的长度又在( )mm以下时，可以将此管段两端的气源截断，然后放空管内全部天然气后，重新铲坡口，进行电焊补口工作，外面再焊一块加强板。