Percent of manpower would be an interesting stat. I think the percent of GDP resembles that a little bit.