When was the last time those were traded in real currency at those valuations?