How many different types of spiders are there?

there are about 40,00 different types