how many different names are there?
13