Notwithstanding the provisions of Kan. Stat. Ann. §§ 74-4913 to the contrary, an employee of a participating employer who first became a member of the Kansas public employees retirement system on July 1, 1964, who elected under the provisions of Kan. Stat. Ann. §§ 74-4925 to participate in another retirement system, who was first employed by said participating employer on March 28, 1955, until November 7, 1960, and was reemployed by said participating employer on July 1, 1963, shall be granted prior service credit for all service prior to January 1, 1962, with all participating employers whether or not such service was continuous. The prior service benefit shall be computed by using a prior service annual salary of seven thousand three hundred ninety-two dollars ($7,392).