3.6K registered IDs in total. Tough people do switch to their own domains or other providers sometimes. The current active number is smaller.