Current industrial reports: Titanium ingot, mill products, and castings, summary for 1972.