Notwithstanding the provisions of Kan. Stat. Ann. §§ 74-4913 to the contrary, any employee of a participating employer who first became a member of the Kansas public employees retirement system on July 1, 1962, who was first employed by said participating employer on December 11, 1944, until April 11, 1946, and was reemployed by said participating employer on December 30, 1946, until January 20, 1948, and was employed by another participating employer from January 16, 1948, until September 29, 1959, and was again employed by his entry date employer on July 1, 1961, shall be granted prior service credit upon retirement for said service with both participating employers prior to January 1, 1962. The prior service benefit shall be computed by using a prior service annual salary of five thousand two hundred thirty-two dollars ($5,232).