Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract ERC20Basic
•    - function balanceOf(address who)
•    - function transfer(address to, uint256 ...
•  contract ERC20 is ERC20Basic
•    - function allowance(address owner, add ...
•    - function transferFrom(address from, a ...
•    - function approve(address spender, uin ...
• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•  contract BasicToken is ERC20Basic
•    - function transfer(address _to, uint25 ...
•    - function balanceOf(address _owner)
•  contract StandardToken is ERC20, B ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•    - function increaseApproval (address _s ...
•    - function decreaseApproval (address _s ...
•  contract REDBOLD is StandardToken *
•    - function REDBOLD()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-10-05
*/

pragma solidity ^0.4.11;
 /**
***INFORMASI***
Editor : ethbold
Website : https://REDBOLD.com
*/
contract ERC20Basic {
  uint256 public totalSupply;
  function balanceOf(address who) public constant returns (uint256);
  function transfer(address to, uint256 value) public returns (bool);
  event Transfer(address indexed from, address indexed to, uint256 value);
}

contract ERC20 is ERC20Basic {
  function allowance(address owner, address spender) public constant returns (uint256);
  function transferFrom(address from, address to, uint256 value) public returns (bool);
  function approve(address spender, uint256 value) public returns (bool);
  event Approval(address indexed owner, address indexed spender, uint256 value);
}

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

  function div(uint256 a, uint256 b) internal constant returns (uint256) {
    // assert(b > 0); // Solidity automatically throws when dividing by 0
    uint256 c = a / b;
    // assert(a == b * c + a % b); // There is no case in which this doesn't hold
    return c;
  }

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

  function add(uint256 a, uint256 b) internal constant returns (uint256) {
    uint256 c = a + b;
    assert(c >= a);
    return c;
  }
}

contract BasicToken is ERC20Basic {
  using SafeMath for uint256;

  mapping(address => uint256) balances;


  function transfer(address _to, uint256 _value) public returns (bool) {
    require(_to != address(0));
    require(_value <= balances[msg.sender]);

    // SafeMath.sub will throw if there is not enough balance.
    balances[msg.sender] = balances[msg.sender].sub(_value);
    balances[_to] = balances[_to].add(_value);
    Transfer(msg.sender, _to, _value);
    return true;
  }

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

}

contract StandardToken is ERC20, BasicToken {

  mapping (address => mapping (address => uint256)) internal allowed;

  function transferFrom(address _from, address _to, uint256 _value) public returns (bool) {
    require(_to != address(0));
    require(_value <= balances[_from]);
    require(_value <= allowed[_from][msg.sender]);

    balances[_from] = balances[_from].sub(_value);
    balances[_to] = balances[_to].add(_value);
    allowed[_from][msg.sender] = allowed[_from][msg.sender].sub(_value);
    Transfer(_from, _to, _value);
    return true;
  }

  function approve(address _spender, uint256 _value) public returns (bool) {
    allowed[msg.sender][_spender] = _value;
    Approval(msg.sender, _spender, _value);
    return true;
  }

  function allowance(address _owner, address _spender) public constant returns (uint256 remaining) {
    return allowed[_owner][_spender];
  }
 
  function increaseApproval (address _spender, uint _addedValue) public returns (bool success) {
    allowed[msg.sender][_spender] = allowed[msg.sender][_spender].add(_addedValue);
    Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

  function decreaseApproval (address _spender, uint _subtractedValue) public returns (bool success) {
    uint oldValue = allowed[msg.sender][_spender];
    if (_subtractedValue > oldValue) {
      allowed[msg.sender][_spender] = 0;
    } else {
      allowed[msg.sender][_spender] = oldValue.sub(_subtractedValue);
    }
    Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
    return true;
  }

}

contract REDBOLD is StandardToken
{
    string public constant name = "REDBOLD"; // nama token yang kalian ingin
    string public constant symbol = "RBOLD"; // simbol token
    uint8 public constant decimals = 18; // desimal unit
    
    function REDBOLD() public 
    {
        totalSupply = 900000000 * 10 ** uint256(decimals); // jumlah supply
        balances[msg.sender] = totalSupply;
        Transfer(0x0, msg.sender, totalSupply);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_subtractedValue","type":"uint256"}],"name":"decreaseApproval","outputs":[{"name":"success","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_addedValue","type":"uint256"}],"name":"increaseApproval","outputs":[{"name":"success","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"},{"name":"_spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"type":"function"},{"inputs":[],"payable":false,"type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"}]

6060604052341561000c57fe5b5b6b02e87669c308736a040000006000818155600160a060020a03331680825260016020908152604080842085905580519485525191937fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929081900390910190a35b5b61092c8061007f6000396000f300606060405236156100ac5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100ae578063095ea7b31461013e57806318160ddd1461017157806323b872dd14610193578063313ce567146101cc57806366188463146101f257806370a082311461022557806395d89b4114610253578063a9059cbb146102e3578063d73dd62314610316578063dd62ed3e14610349575bfe5b34156100b657fe5b6100be61037d565b604080516020808252835181830152835191928392908301918501908083838215610104575b80518252602083111561010457601f1990920191602091820191016100e4565b505050905090810190601f1680156101305780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561014657fe5b61015d600160a060020a03600435166024356103b4565b604080519115158252519081900360200190f35b341561017957fe5b61018161041f565b60408051918252519081900360200190f35b341561019b57fe5b61015d600160a060020a0360043581169060243516604435610425565b604080519115158252519081900360200190f35b34156101d457fe5b6101dc6105ab565b6040805160ff9092168252519081900360200190f35b34156101fa57fe5b61015d600160a060020a03600435166024356105b0565b604080519115158252519081900360200190f35b341561022d57fe5b610181600160a060020a03600435166106ab565b60408051918252519081900360200190f35b341561025b57fe5b6100be6106ca565b604080516020808252835181830152835191928392908301918501908083838215610104575b80518252602083111561010457601f1990920191602091820191016100e4565b505050905090810190601f1680156101305780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156102eb57fe5b61015d600160a060020a0360043516602435610701565b604080519115158252519081900360200190f35b341561031e57fe5b61015d600160a060020a03600435166024356107ff565b604080519115158252519081900360200190f35b341561035157fe5b610181600160a060020a03600435811690602435166108a2565b60408051918252519081900360200190f35b60408051808201909152600781527f524544424f4c4400000000000000000000000000000000000000000000000000602082015281565b600160a060020a03338116600081815260026020908152604080832094871680845294825280832086905580518681529051929493927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b60005481565b6000600160a060020a038316151561043d5760006000fd5b600160a060020a0384166000908152600160205260409020548211156104635760006000fd5b600160a060020a03808516600090815260026020908152604080832033909416835292905220548211156104975760006000fd5b600160a060020a0384166000908152600160205260409020546104c0908363ffffffff6108cf16565b600160a060020a0380861660009081526001602052604080822093909355908516815220546104f5908363ffffffff6108e616565b600160a060020a0380851660009081526001602090815260408083209490945587831682526002815283822033909316825291909152205461053d908363ffffffff6108cf16565b600160a060020a038086166000818152600260209081526040808320338616845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060015b9392505050565b601281565b600160a060020a0333811660009081526002602090815260408083209386168352929052908120548083111561060d57600160a060020a033381166000908152600260209081526040808320938816835292905290812055610644565b61061d818463ffffffff6108cf16565b600160a060020a033381166000908152600260209081526040808320938916835292905220555b600160a060020a0333811660008181526002602090815260408083209489168084529482529182902054825190815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3600191505b5092915050565b600160a060020a0381166000908152600160205260409020545b919050565b60408051808201909152600581527f52424f4c44000000000000000000000000000000000000000000000000000000602082015281565b6000600160a060020a03831615156107195760006000fd5b600160a060020a03331660009081526001602052604090205482111561073f5760006000fd5b600160a060020a033316600090815260016020526040902054610768908363ffffffff6108cf16565b600160a060020a03338116600090815260016020526040808220939093559085168152205461079d908363ffffffff6108e616565b600160a060020a038085166000818152600160209081526040918290209490945580518681529051919333909316927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060015b92915050565b600160a060020a033381166000908152600260209081526040808320938616835292905290812054610837908363ffffffff6108e616565b600160a060020a0333811660008181526002602090815260408083209489168084529482529182902085905581519485529051929391927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a35060015b92915050565b600160a060020a038083166000908152600260209081526040808320938516835292905220545b92915050565b6000828211156108db57fe5b508082035b92915050565b6000828201838110156108f557fe5b8091505b50929150505600a165627a7a72305820977646a16c1530cbd738cccdedfcd4f00f2cfe6fb23336c79a162810499fb3b90029

0x606060405236156100ac5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166306fdde0381146100ae578063095ea7b31461013e57806318160ddd1461017157806323b872dd14610193578063313ce567146101cc57806366188463146101f257806370a082311461022557806395d89b4114610253578063a9059cbb146102e3578063d73dd62314610316578063dd62ed3e14610349575bfe5b34156100b657fe5b6100be61037d565b604080516020808252835181830152835191928392908301918501908083838215610104575b80518252602083111561010457601f1990920191602091820191016100e4565b505050905090810190601f1680156101305780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b341561014657fe5b61015d600160a060020a03600435166024356103b4565b604080519115158252519081900360200190f35b341561017957fe5b61018161041f565b60408051918252519081900360200190f35b341561019b57fe5b61015d600160a060020a0360043581169060243516604435610425565b604080519115158252519081900360200190f35b34156101d457fe5b6101dc6105ab565b6040805160ff9092168252519081900360200190f35b34156101fa57fe5b61015d600160a060020a03600435166024356105b0565b604080519115158252519081900360200190f35b341561022d57fe5b610181600160a060020a03600435166106ab565b60408051918252519081900360200190f35b341561025b57fe5b6100be6106ca565b604080516020808252835181830152835191928392908301918501908083838215610104575b80518252602083111561010457601f1990920191602091820191016100e4565b505050905090810190601f1680156101305780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34156102eb57fe5b61015d600160a060020a0360043516602435610701565b604080519115158252519081900360200190f35b341561031e57fe5b61015d600160a060020a03600435166024356107ff565b604080519115158252519081900360200190f35b341561035157fe5b610181600160a060020a03600435811690602435166108a2565b60408051918252519081900360200190f35b60408051808201909152600781527f524544424f4c4400000000000000000000000000000000000000000000000000602082015281565b600160a060020a03338116600081815260026020908152604080832094871680845294825280832086905580518681529051929493927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925929181900390910190a35060015b92915050565b60005481565b6000600160a060020a038316151561043d5760006000fd5b600160a060020a0384166000908152600160205260409020548211156104635760006000fd5b600160a060020a03808516600090815260026020908152604080832033909416835292905220548211156104975760006000fd5b600160a060020a0384166000908152600160205260409020546104c0908363ffffffff6108cf16565b600160a060020a0380861660009081526001602052604080822093909355908516815220546104f5908363ffffffff6108e616565b600160a060020a0380851660009081526001602090815260408083209490945587831682526002815283822033909316825291909152205461053d908363ffffffff6108cf16565b600160a060020a038086166000818152600260209081526040808320338616845282529182902094909455805186815290519287169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef929181900390910190a35060015b9392505050565b601281565b600160a060020a0333811660009081526002602090815260408083209386168352929052908120548083111561060d57600160a060020a033381166000908152600260209081526040808320938816835292905290812055610644565b61061d818463ffffffff6108cf16565b600160a060020a033381166000908152600260209081526040808320938916835292905220555b600160a060020a0333811660008181526002602090815260408083209489168084529482529182902054825190815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3600191505b5092915050565b600160a060020a0381166000908152600160205260409020545b919050565b60408051808201909152600581527f52424f4c44000000000000000000000000000000000000000000000000000000602082015281565b6000600160a060020a03831615156107195760006000fd5b600160a060020a03331660009081526001602052604090205482111561073f5760006000fd5b600160a060020a033316600090815260016020526040902054610768908363ffffffff6108cf16565b600160a060020a03338116600090815260016020526040808220939093559085168152205461079d908363ffffffff6108e616565b600160a060020a038085166000818152600160209081526040918290209490945580518681529051919333909316927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060015b92915050565b600160a060020a033381166000908152600260209081526040808320938616835292905290812054610837908363ffffffff6108e616565b600160a060020a0333811660008181526002602090815260408083209489168084529482529182902085905581519485529051929391927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a35060015b92915050565b600160a060020a038083166000908152600260209081526040808320938516835292905220545b92915050565b6000828211156108db57fe5b508082035b92915050565b6000828201838110156108f557fe5b8091505b50929150505600a165627a7a72305820977646a16c1530cbd738cccdedfcd4f00f2cfe6fb23336c79a162810499fb3b90029

3731:460:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3773:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18:2:-1;;13:3;7:5;32;59:3;53:5;48:3;41:6;93:2;88:3;85:2;78:6;73:3;67:5;-1:-1;;152:3;;;;117:2;108:3;;;;130;172:5;167:4;181:3;3:186;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2688:187:0;;;;;;;;-1:-1:-1;;;;;2688:187:0;;;;;;;;;;;;;;;;;;;;;;;;;127:26;;;;;;;;;;;;;;;;;;;;;;;;;;2233:449;;;;;;;;-1:-1:-1;;;;;2233:449:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3913:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3306:416;;;;;;;;-1:-1:-1;;;;;3306:416:0;;;;;;;;;;;;;;;;;;;;;;;;;1987:113;;;;;;;;-1:-1:-1;;;;;1987:113:0;;;;;;;;;;;;;;;;;;;;;3851:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18:2:-1;;13:3;7:5;32;59:3;53:5;48:3;41:6;93:2;88:3;85:2;78:6;73:3;67:5;-1:-1;;152:3;;;;117:2;108:3;;;;130;172:5;167:4;181:3;3:186;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1593:388:0;;;;;;;;-1:-1:-1;;;;;1593:388:0;;;;;;;;;;;;;;;;;;;;;;;;;3030:270;;;;;;;;-1:-1:-1;;;;;3030:270:0;;;;;;;;;;;;;;;;;;;;;;;;;2881:142;;;;;;;;-1:-1:-1;;;;;2881:142:0;;;;;;;;;;;;;;;;;;;;;;;;;;3773:39;;;;;;;;;;;;;;;;;;;:::o;2688:187::-;-1:-1:-1;;;;;2776:10:0;2768:19;;2755:4;2768:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;:38;;;2813;;;;;;;2755:4;;2768:29;:19;2813:38;;;;;;;;;;;-1:-1:-1;2865:4:0;2688:187;;;;;:::o;127:26::-;;;;:::o;2233:449::-;2315:4;-1:-1:-1;;;;;2336:17:0;;;;2328:26;;;;;;-1:-1:-1;;;;;2379:15:0;;;;;;:8;:15;;;;;;2369:25;;;2361:34;;;;;;-1:-1:-1;;;;;2420:14:0;;;;;;;:7;:14;;;;;;;;2435:10;2420:26;;;;;;;;;;2410:36;;;2402:45;;;;;;-1:-1:-1;;;;;2474:15:0;;;;;;:8;:15;;;;;;:27;;2494:6;2474:27;:19;:27;:::i;:::-;-1:-1:-1;;;;;2456:15:0;;;;;;;:8;:15;;;;;;:45;;;;2524:13;;;;;;;:25;;2542:6;2524:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;2508:13:0;;;;;;;:8;:13;;;;;;;;:41;;;;2585:14;;;;;:7;:14;;;;;2600:10;2585:26;;;;;;;;;;;:38;;2616:6;2585:38;:30;:38;:::i;:::-;-1:-1:-1;;;;;2556:14:0;;;;;;;:7;:14;;;;;;;;2571:10;2556:26;;;;;;;;;;:67;;;;2630:28;;;;;;;;;;;2556:14;;2630:28;;;;;;;;;;;-1:-1:-1;2672:4:0;2233:449;;;;;;:::o;3913:35::-;3946:2;3913:35;:::o;3306:416::-;-1:-1:-1;;;;;3435:10:0;3427:19;;3390:12;3427:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;3467:27;;;3463:168;;;-1:-1:-1;;;;;3513:10:0;3505:19;;3537:1;3505:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;:33;3463:168;;;3593:30;:8;3606:16;3593:30;:12;:30;:::i;:::-;-1:-1:-1;;;;;3569:10:0;3561:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;:62;3463:168;-1:-1:-1;;;;;3646:10:0;3637:61;;3668:19;;;;:7;:19;;;;;;;;3637:61;;;3668:29;;;;;;;;;;;3637:61;;;;;;;;;;;;;;;;;3712:4;3705:11;;3306:416;;;;;;:::o;1987:113::-;-1:-1:-1;;;;;2078:16:0;;2047:15;2078:16;;;:8;:16;;;;;;1987:113;;;;:::o;3851:39::-;;;;;;;;;;;;;;;;;;;:::o;1593:388::-;1656:4;-1:-1:-1;;;;;1677:17:0;;;;1669:26;;;;;;-1:-1:-1;;;;;1729:10:0;1720:20;;;;;:8;:20;;;;;;1710:30;;;1702:39;;;;;;-1:-1:-1;;;;;1846:10:0;1837:20;;;;;:8;:20;;;;;;:32;;1862:6;1837:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;1823:10:0;1814:20;;;;;;:8;:20;;;;;;:55;;;;1892:13;;;;;;;:25;;1910:6;1892:25;:17;:25;:::i;:::-;-1:-1:-1;;;;;1876:13:0;;;;;;;:8;:13;;;;;;;;;:41;;;;1924:33;;;;;;;1876:13;;1933:10;1924:33;;;;;;;;;;;;;-1:-1:-1;1971:4:0;1593:388;;;;;:::o;3030:270::-;-1:-1:-1;;;;;3170:10:0;3162:19;;3109:12;3162:19;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;:46;;3196:11;3162:46;:33;:46;:::i;:::-;-1:-1:-1;;;;;3138:10:0;3130:19;;;;;;:7;:19;;;;;;;;:29;;;;;;;;;;;;;:78;;;3215:61;;;;;;;3130:29;;:19;;3215:61;;;;;;;;;;-1:-1:-1;3290:4:0;3030:270;;;;;:::o;2881:142::-;-1:-1:-1;;;;;2992:15:0;;;2959:17;2992:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;2881:142;;;;;:::o;1209:117::-;1271:7;1294:6;;;;1287:14;;;;-1:-1:-1;1315:5:0;;;1209:117;;;;;:::o;1332:137::-;1394:7;1422:5;;;1441:6;;;;1434:14;;;;1462:1;1455:8;;1332:137;;;;;;:::o

bzzr://977646a16c1530cbd738cccdedfcd4f00f2cfe6fb23336c79a162810499fb3b9