How many muppets are there altogether?