document.write('探水钻机在煤矿行业的一些应用');