CREATE TABLE table_19112_3 (world_rank VARCHAR(255), market_value__billion_$_ VARCHAR(255))
Name the world rank for market value 17.2
    
SQL: SELECT world_rank FROM table_19112_3 WHERE market_value__billion_$_ = "17.2"