Total cost of the government shutdown? About $24 billion.