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 July 1, 1973, who was first employed by another participating employer from May 1, 1952, until December 31, 1960, and who was again employed by the same employer from January 18, 1962, until August 9, 1963, 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 eight hundred eighty-eight dollars ($3,888).