 It'll be a total of $4.5 million from what I'm being told that they have just approved, and that will close the gap. And I'm not sure if they even need that much to close the gap, but I know that's what the appropriation will be to close the gap on the Hayes Hotel. So where does that money go? That money will come to the city of Jackson. Okay. The city will use that to finalize the deal? Correct. Yeah.