What was the amount of tokens sold during ICO? The live portifolio, these coins in which are listed in the portifolio, adding up will be the total value collected in the ICO?