Notwithstanding the provisions of Kan. Stat. Ann. §§ 74-4913 to the contrary, an employee of a participating employer who became a member of the Kansas public employees retirement system August 1, 1964, who was first employed by said participating employer on July 1, 1942, through November 8, 1957, and who was reemployed by said participating employer on August 1, 1963, shall upon retirement be granted prior service credit for all service with said participating employer prior to January 1, 1962. A prior service benefit shall be computed by using a prior service annual salary of three thousand seven hundred eight dollars ($3,708).