Plus about 1.2 billion doses that were exported/donated: https://www.bbc.com/news/58808889