Se a moeda tiver mais de US$ 9 mil de capitalização de mercado, ela já foi executada
2,65K