R28.9bn allocated to keep 9 300 healthcare workers employed, National Health Insurance gets 9.9bn