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 January 1, 1962, who was first employed by said participating employer on March 1, 1952, and reemployed by said participating employer on July 5, 1961, and who had at least twelve (12) years prior service with another participating employer, shall be granted prior service credit under said retirement system for service prior to January 1, 1962, with any participating employer. The prior service benefit shall be computed by using a prior service annual salary of seven thousand five hundred dollars ($7,500).