Old-fashioned miner's helmets.