document.write('Development working principle of mining injection type gas diluents');