How many leagues are there?