document.writeln('  1    引言             目前，市场中所出现的矿用绳锯机都是操作人员在现场作业，控...');