Public laws, 92d Congress. 507. H.R. 9756, act to amend Merchant marine act, 1936, as amended.