Acoustical Measurement Of Mine-Shaft Length