I'm going to sell my Gazprom now, if necessary at a loss. I don't want to try out what happens when the trading ban comes or the ADRs are delisted.