现煤气炉所用液压油泵有（）、（）、（）三种。