20,000 is 1/10 of what?