And the de facto Russian national anthem at the time was a polonaise.