Am I right when I say the total supply is 400,000 WOC + 250,000 WOCX (ICO) = 650,000 WOCX ?

Thanks.

LC