[20180830-154630_337_live · turn 5 · speaker 1] I would be interested to know what different programs their funding goes towards. Do they publish a budget?