It was 20 billion dollars years ago, 2022. There's little doubt it's closer to $25B now, perhaps more.