A band was playing a tune in the noisy room, and it was cheerful.