(真空泵接头是多大的)