I think the wall was $25B. So a third maybe?
Correction. Trump was asking for 5.6 B for the wall back in January. That doesn’t necessarily mean that’s the entire cost of the wall. That was for the remaining portion, so the entire cost would be more than that. How much more, I’m not sure.