7 is a number