(真空水泵的作用)