U.S. Office of Price Stabilization.