(真空泵工作液的作用)