Those are the heavy seven.
七個主要門人稱七真。