Indoor, a group of people in the swimming pool play diving, ear to hear the noise.