Notwithstanding the provisions of Kan. Stat. Ann. §§ 74-4913 to the contrary, if any employee of a participating employer, who became a member of the Kansas public employees retirement system on July 1, 1964, was first employed by the participating employer on September 16, 1948, until July 30, 1954, and reemployed by said participating employer on August 3, 1955, until October 30, 1959, and was again reemployed by said participating employer on June 24, 1963, said employee shall be granted prior service credit for such service prior to the participating employer’s entry date January 1, 1962. A prior service annual salary of six thousand five hundred forty-seven dollars ($6,547) shall be used in computing the prior service benefit.