The cardinal number equal to 6 + 1.