Mr. Pagan, I'm not sure if you can answer this. There's money throughout the estimates for negotiated salary increases. I'm curious. What is the average increase, including salary, pension, sick pay—all of the topics—that we're giving out right now or that are getting negotiated right now?
On February 15th, 2018. See this statement in context.