I've never done the calculation but I would imagine it's only something like one, maybe two billion. I'm not very good with numbers though.