United States Government manual, 1947, 2d edition (revised through June 1, 1947).