Shorter work week law. (U.S. GPO,, 1931)