Notwithstanding the provisions of Kan. Stat. Ann. §§ 74-4913 to the contrary any employee of the state of Kansas who first became a member of the Kansas public employees retirement system on May 1, 1963 and who was first employed by the state of Kansas on November 15, 1937 and who served with the United States Navy from December 1, 1942 until October 4, 1945 and who returned to service with the state of Kansas on October 22, 1945 and was so employed until July 31, 1957 shall receive prior service credit for such prior service with the state of Kansas and said military service with the United States Navy, such prior service benefit shall be computed by using a prior service annual salary of four thousand seven hundred forty dollars ($4,740).