CREATE TABLE table_31523 ("Economy" TEXT, "1980" FLOAT, "Gap from Thailand as of 1980  ( times ) " TEXT, "1985" FLOAT, "1990" FLOAT, "1995" FLOAT, "2000" FLOAT, "2005" FLOAT, "2010" FLOAT, "2012" FLOAT, "Gap from Thailand as of 2012  ( times ) " TEXT, "GDP as of 2012 after purchasing power parity  ( PPP )  calculations  ( USD billions ) " TEXT, "GDP per capita as of 2012  ( PPP ) " FLOAT)

What was the gap from Thailand as of 2012 for China?
SELECT "Gap from Thailand as of 2012 (times)" FROM table_31523 WHERE "Economy" = 'China'
SELECT "Gap from Thailand as of 2012 (times)" FROM "table_31523" WHERE "Economy" = 'China'