The cardinal number that is the sum of seven and one.