Thanks.
Also, a number of employees who were working and who were on paid leave for a shorter period have now received equipment or access to the system and are back to work, so to speak. Could you could provide those numbers as well?
How much are we paying for public sector employees to be working at home? We're covering Internet, I assume, for the majority of them, or other equipment. Would you be able to provide how much we're paying for this?