Outside, a big band played cheerful songs.