document.write('高压泵行业的发展也经历了不同的阶段');