Assume that an economy has 2000 workers, each working 4000 hours per year. If the average real output per worker-hour is $10, then total output or real GDP will be: