On the stage, the actors danced happily to the merry music.