That's roughly the population of the United States.