Senate Bills. S. 2880-82, 2886, 2889, 2894-97, and S. J. Res. 233-235. S. Res. 263-265, 80th Congress.