Public law 112-388 (with omissions), 80th Congress. 225. H. R. 3513, act to transfer Panama Railroad pension fund to civil service retirement and disability fund.