9 is a number