Notwithstanding the provisions of Kan. Stat. Ann. §§ 74-4913 to the contrary, an employee who became a member of the Kansas public employees retirement system on May 1, 1966, who was first employed by another participating employer from February 16, 1942, until April 26, 1944, who entered military service on April 27, 1944, and was discharged on June 10, 1944, and who returned to employment with the same employer on June 11, 1944, until June 20, 1950, shall upon retirement be entitled to receive prior service credit for said employment prior to January 1, 1962. The prior service benefit shall be computed by using a prior service annual salary of three thousand seven hundred three dollars ($3,703).