Is there a name for these tokens? Can they be purchased on the stock exchange?