>>519027844
The real numbers are unknown. The 12,000 figure is likely disinformation. I asked the bot to estimate a figure and it came back with this.