// Vulnerability label: clean
pragma solidity ^0.4.17;

library SafeMath {
  function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a * b;
    assert(a == 0 || c / a == b);
    return c;
  }

  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    assert(b > 0);
    uint256 c = a / b;
    assert(a == b * c + a % b);
    return c;
  }

  function sub(uint256 a, uint256 b) internal pure returns (uint256) {
    assert(b <= a);
    return a - b;
  }

  function add(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a + b;
    assert(c >= a);
    return c;
  }
}
contract Ownable {
  address public owner;


  function Ownable() public {
    owner = msg.sender;
  }


  modifier onlyOwner() {
    require(msg.sender == owner);
    _;
  }

  function transferOwnership(address newOwner) public onlyOwner {
    require(newOwner != address(0));
    owner = newOwner;
  }
}

contract Migrations {
  address public owner;
  uint public last_completed_migration;

  modifier restricted() {
    if (msg.sender == owner) _;
  }

  function Migrations() public {
    owner = msg.sender;
  }

  function setCompleted(uint completed) public restricted {
    last_completed_migration = completed;
  }

  function upgrade(address new_address) public restricted {
    Migrations upgraded = Migrations(new_address);
    upgraded.setCompleted(last_completed_migration);
  }
}

contract ERC20Standard {


    // total amount of tokens
    function totalSupply() public constant returns (uint256) ;

    /*
     *  Events
     */
    event Transfer(address indexed _from, address indexed _to, uint256 _value);
    event Approval(address indexed _owner, address indexed _spender, uint256 _value);

    /*
     *  Public functions
     */
    function transfer(address _to, uint256 _value) public returns (bool);

    function transferFrom(address _from, address _to, uint256 _value) public returns (bool);


    function approve(address _spender, uint256 _value) public returns (bool);

    function balanceOf(address _owner) public constant returns (uint256);

    function allowance(address _owner, address _spender) public constant returns (uint256);
}

contract ERC20StandardToken is ERC20Standard {
    using SafeMath for uint256;

    /*
     *  Storage
     */
    mapping (address => uint256) balances;
    mapping (address => mapping (address => uint256)) allowances;


    function transfer(address to, uint256 value) public returns (bool){
        require(to !=address(0));

        balances[msg.sender]=balances[msg.sender].sub(value);
        balances[to] = balances[to].add(value);
        Transfer(msg.sender,to,value);
        return true;
    }


    function transferFrom(address from, address to, uint256 value) public returns (bool){
        require(to != address(0));

        var allowanceAmount = allowances[from][msg.sender];

        balances[from] = balances[from].sub(value);
        balances[to] = balances[to].add(value);
        allowances[from][msg.sender] = allowanceAmount.sub(value);
        Transfer(from, to, value);
        return true;

    }

    function approve(address spender, uint256 value) public returns (bool){
        require((value == 0) || (allowances[msg.sender][spender] == 0));
        allowances[msg.sender][spender] = value;
        Approval(msg.sender, spender, value);
        return true;
    }

    function allowance(address owner, address spender) public constant returns (uint256){
        return allowances[owner][spender];
    }


    function balanceOf(address owner) public constant returns (uint256){
        return balances[owner];
    }
}

contract WEChainCommunity is ERC20StandardToken, Ownable {

    // token information
    string public constant name = "WEChainCommunity";
    string public constant symbol = "WECC";
    uint256 public constant decimals = 18;
    uint TotalTokenSupply=60*(10**8)* (10**decimals);

     function totalSupply() public constant returns (uint256 ) {
          return TotalTokenSupply;
      }

    /// transfer all tokens to holders
    address public constant MAIN_HOLDER_ADDR=0xa8fbDB79680641D9f090e36131e2c7df6076aC0a;


    function WEChainCommunity() public onlyOwner{
        balances[MAIN_HOLDER_ADDR]+=TotalTokenSupply;
        Transfer(0,MAIN_HOLDER_ADDR,TotalTokenSupply);
      }
}