Are They Sure It Wasn't 37?

https://english.news.cn/asiapacific/20230515/8548bf145fab457a9463c44187b5b40f/c.html

I know 40 is the typical number.

However the actual number seems closer to 37.