Notwithstanding the provisions of Kan. Stat. Ann. §§ 74-4913 to the contrary, any employee who became a member of the Kansas public employees retirement system on June 1, 1970, who was previously employed by the same participating employer from September 19, 1938 until April 2, 1942, who entered military service on April 3, 1942 and was discharged on December 22, 1945, who returned to employment with said participating employer on January 10, 1946 until August 31, 1955, shall upon retirement be entitled to prior service credit for all service, including military service, with said participating employer 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.00).