Round about 9. 5 are active and 4 still in launching queue. Don't have enough time to develop new sites so thinking about to sell them. but don't know where to get a good price for 3 years old domains. I have tried sedo, they are not good.