(真空泵冷却)