12% of federal government that's currently functioning to shut down