uint8 public decimals = 18;
// 18 decimals is the strongly suggested default, avoid changing it

uint256 public totalSupply;