Name the world rank for market value 17.2
create table table_19112_3 (world_rank varchar, market_value__billion_$_ varchar, PRIMARY KEY (world_rank))
select world_rank from table_19112_3 where market_value__billion_$_ = "17.2"