(真空泵油型号区分)