Nikkei down over 7% just a few minutes ago.