The unemployment rate in an economy is 7.5 percent. The total population of the economy is 250 million and the size of the civilian labor force is 180 million. The number of employed workers in this economy is: