Notwithstanding the provisions of Kan. Stat. Ann. §§ 74-4913 to the contrary, any employee of a participating employer who became a member of the Kansas public employees retirement system on May 1, 1965, was first employed by the participating employer on March 3, 1952, to August 4, 1958, and was reemployed by said participating employer on April 13, 1964, shall upon retirement be granted prior service credit for such service prior to the participating employer’s entry date January 1, 1962. A prior service benefit shall be computed by using a prior service salary of three thousand forty-eight dollars ($3,048).