The percentage has been going down. If you go back maybe ten years or so, everything was some 5% higher than the numbers I've just given you. It went from, say, 35% down to 28% in total. These are ratios. It's something divided by something else; any ratio is that.
The actual number of workers has throughout the whole of the last five to ten years remained roughly stable in these plans. But the number of workers who are working was increasing; therefore the ratio of people covered by these plans has been dropping.