Dust produced by drilling when water is sprayed on outside of drill steel; by John A. Johnson and Wing G. Agnew.