Not quite. Houbi and OKCoin were 8000, but BTCC, market leader at that time by volume (before the days of wash trading), was ~7600. The true weighted average is probably closer to 7800-7900 CNY.