Erc20 - Y2k Idris