CREATE TABLE table_19112_3 (world_rank VARCHAR, market_value__billion_$_ VARCHAR)

Name the world rank for market value 17.2
SELECT world_rank FROM table_19112_3 WHERE market_value__billion_$_ = "17.2"
SELECT "world_rank" FROM "table_19112_3" WHERE "17.2" = "market_value__billion_$_"