« In China, the average monthly salary is 29,300 Yuan (Chinese Yuan), equating to USD 4,214 (US dollars) per month according to the exchange rate in May 2023 (according to Salary Explorer). » Source: salaryexplorer.com
So 13 000 employees X 40 000$/year = 520M$ annual payroll