(15012016) - The cardinal number equal to 7 + 1 -