text: Yes, that was about 47,000 workers, at least, if I'm remembering that number correctly, part of a government worker labor union that now has secured the right to work from home, like you said, for the next few years.