The board of trustees shall use the amount appropriated for employer contributions in the manner provided by this subchapter to fund the basic coverage.