All public health districts shall budget sufficient funds to allow for participation in the Idaho public employees retirement system as created by chapter 13, title 59, Idaho Code.