 actually comes from the traditional revenue of taxes. It's a very small amount relatively. The rest has to come from ticket sales and TV revenue and all that, so we'll have details on that. Coming up seconds away, I've got a little bit of Chris Murphy yesterday. He was on CNN and Dana Bash, who did a pretty good job at the debate, her and Jake Tapper.