Notwithstanding the provisions of Kan. Stat. Ann. §§ 74-4902 and 74-4913 to the contrary, an employee of a participating employer who first became a member of the Kansas public employees retirement system on January 1, 1962, who was first employed by said participating employer on January 25, 1951 until August 30, 1957, and was reemployed by said participating employer on May 1, 1961, shall upon retirement be granted prior service credit for said service prior to January 1, 1962. The prior service benefit shall be computed by using a prior service annual salary of seven thousand forty-four dollars ($7,044).