That is of course more than China reports, but the math is straightforward (exports are ~ 20% of GDP, volumes up over 12%, imports a bit less than 20% of GDP, up only 2% -- using the 12ms of data through October).