We don't have that number offhand. Again, we'll try to come up with that from our colleagues at the chief of human resources office to see if they have some kind of estimation based on average salaries.
On November 23rd, 2023. See this statement in context.