Market cap and GDP contribution are different things. The market cap for the USD is very very high, but we don't consider all of those dollars to count as GDP nor would it justify a comparably large power cost.