And what are the dollars spent by the government