What percentage of their revenue comes from the government?