218.23831  Purchase of service credit.  [Replaced in revision by NRS 218C.370.]