Wow.. what is public sector jobs as a %? I think US is around 7.5% up from 4% ~20 years ago