I think they'll most likely switch back to a national currency first, but ultimately dollarize when that fails.