Wow, is it particularly high right now? If that was normal, just the fees would make mining a $35 billion a year industry.