Life-style of the coal miner : America's first hard hat.