The cardinal number equal to 7 + 1...