how many different names (variants not included) are there?
9