A group of people jumped cheerfully in the stadium, with a cheerful sound.