Good day, devs! Tell me please, how much is the total supply of this coin?