Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-07-07
*/

// SPDX-License-Identifier: LGPL-3.0-only
pragma solidity ^0.8;

contract Bridger {
    address public immutable omnibridge;

    constructor(address omnibridge_) {
        omnibridge = omnibridge_;
    }

    function getAccountAddress(address user) view public returns (address) {
        return address(uint160(uint256(keccak256(abi.encodePacked(
            bytes1(0xff),
            address(this),
            bytes32(0),
            keccak256(abi.encodePacked(
                type(BridgeAccount).creationCode,
                abi.encode(user, omnibridge)
            ))
        )))));
    }

    function getAccountBalance(address user, address token) view public returns (uint256) {
        return IERC20(token).balanceOf(getAccountAddress(user));
    }

    function ensureAccount(address user) public returns (BridgeAccount) {
        address accountAddress = getAccountAddress(user);
        uint256 codeSize;
        assembly {
            codeSize := extcodesize(accountAddress)
        }

        if (codeSize > 0) {
            return BridgeAccount(accountAddress);
        } else {
            BridgeAccount newAccount = new BridgeAccount{salt: bytes32(0)}(user, omnibridge);
            require(
                accountAddress == address(newAccount),
                "account does not expected deployment address"
            );

            return newAccount;
        }
    }

    function bridge(address user, address token, uint256 amount) public {
        ensureAccount(user).bridge(token, amount);
    }

    function bridgeAll(address user, address token) external {
        bridge(user, token, getAccountBalance(user, token));
    }

    function withdraw(address user, address token, uint256 amount) public {
        ensureAccount(user).withdraw(token, amount);
    }

    function withdrawAll(address user, address token) external {
        withdraw(user, token, getAccountBalance(user, token));
    }
}

contract BridgeAccount {
    address public immutable user;
    address public immutable omnibridge;

    constructor(address user_, address omnibridge_) {
        user = user_;
        omnibridge = omnibridge_;
    }

    function bridge(address token, uint256 amount) external {
        IERC20(token).approve(omnibridge, amount);
        IOmnibridge(omnibridge).relayTokens(token, user, amount);
    }

    function withdraw(address token, uint256 amount) external {
        IERC20(token).transfer(user, amount);
    }
}

interface IERC20 {
    function approve(address spender, uint256 amount) external returns (bool);
    function balanceOf(address account) view external returns (uint256);
    function transfer(address to, uint256 amount) external returns (bool);
}

interface IOmnibridge {
    function relayTokens(address token, address receiver, uint256 value) external;
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"omnibridge_","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"address","name":"token","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"bridge","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"address","name":"token","type":"address"}],"name":"bridgeAll","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"ensureAccount","outputs":[{"internalType":"contract BridgeAccount","name":"","type":"address"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"getAccountAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"address","name":"token","type":"address"}],"name":"getAccountBalance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"omnibridge","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"address","name":"token","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"},{"internalType":"address","name":"token","type":"address"}],"name":"withdrawAll","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60a060405234801561000f575f80fd5b50604051610cbc380380610cbc83398101604081905261002e9161003f565b6001600160a01b031660805261006c565b5f6020828403121561004f575f80fd5b81516001600160a01b0381168114610065575f80fd5b9392505050565b608051610c2a6100925f395f818161013a015281816101a501526103640152610c2a5ff3fe608060405234801561000f575f80fd5b5060043610610085575f3560e01c80638712175911610058578063871217591461010f578063d9caed1214610122578063e010d2af14610135578063e0b195351461015c575f80fd5b806309cae2c8146100895780634aa53f031461009e5780635872fe45146100db578063587675e8146100ee575b5f80fd5b61009c610097366004610681565b61016f565b005b6100b16100ac3660046106b2565b610182565b60405173ffffffffffffffffffffffffffffffffffffffff90911681526020015b60405180910390f35b6100b16100e93660046106b2565b6102db565b6101016100fc366004610681565b61048b565b6040519081526020016100d2565b61009c61011d3660046106cb565b610543565b61009c6101303660046106cb565b6105d7565b6100b17f000000000000000000000000000000000000000000000000000000000000000081565b61009c61016a366004610681565b61063d565b61017e8282610130858561048b565b5050565b5f8061018d836102db565b9050803b801561019e575092915050565b5f805f1b857f00000000000000000000000000000000000000000000000000000000000000006040516101d09061064c565b73ffffffffffffffffffffffffffffffffffffffff9283168152911660208201526040018190604051809103905ff5905080158015610211573d5f803e3d5ffd5b5090508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16146102d3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602c60248201527f6163636f756e7420646f6573206e6f74206578706563746564206465706c6f7960448201527f6d656e7420616464726573730000000000000000000000000000000000000000606482015260840160405180910390fd5b949350505050565b6040515f907fff0000000000000000000000000000000000000000000000000000000000000090309083906103126020820161064c565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe082820381018352601f90910116604081815273ffffffffffffffffffffffffffffffffffffffff88811660208401527f00000000000000000000000000000000000000000000000000000000000000001690820152606001604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0818403018152908290526103c79291602001610731565b6040516020818303038152906040528051906020012060405160200161044f94939291907fff0000000000000000000000000000000000000000000000000000000000000094909416845260609290921b7fffffffffffffffffffffffffffffffffffffffff0000000000000000000000001660018401526015830152603582015260550190565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0818403018152919052805160209091012092915050565b5f8173ffffffffffffffffffffffffffffffffffffffff166370a082316104b1856102db565b6040517fffffffff0000000000000000000000000000000000000000000000000000000060e084901b16815273ffffffffffffffffffffffffffffffffffffffff9091166004820152602401602060405180830381865afa158015610518573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061053c9190610745565b9392505050565b61054c83610182565b6040517fc3de453d00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff848116600483015260248201849052919091169063c3de453d906044015b5f604051808303815f87803b1580156105bc575f80fd5b505af11580156105ce573d5f803e3d5ffd5b50505050505050565b6105e083610182565b6040517ff3fef3a300000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff848116600483015260248201849052919091169063f3fef3a3906044016105a5565b61017e828261011d858561048b565b6104988061075d83390190565b803573ffffffffffffffffffffffffffffffffffffffff8116811461067c575f80fd5b919050565b5f8060408385031215610692575f80fd5b61069b83610659565b91506106a960208401610659565b90509250929050565b5f602082840312156106c2575f80fd5b61053c82610659565b5f805f606084860312156106dd575f80fd5b6106e684610659565b92506106f460208501610659565b9150604084013590509250925092565b5f81515f5b818110156107235760208185018101518683015201610709565b505f93019283525090919050565b5f6102d361073f8386610704565b84610704565b5f60208284031215610755575f80fd5b505191905056fe60c060405234801561000f575f80fd5b5060405161049838038061049883398101604081905261002e91610060565b6001600160a01b039182166080521660a052610091565b80516001600160a01b038116811461005b575f80fd5b919050565b5f8060408385031215610071575f80fd5b61007a83610045565b915061008860208401610045565b90509250929050565b60805160a0516103cc6100cc5f395f818160b80152818161012a015261021801525f81816053015281816101e901526102b001526103cc5ff3fe608060405234801561000f575f80fd5b506004361061004a575f3560e01c80634f8632ba1461004e578063c3de453d1461009e578063e010d2af146100b3578063f3fef3a3146100da575b5f80fd5b6100757f000000000000000000000000000000000000000000000000000000000000000081565b60405173ffffffffffffffffffffffffffffffffffffffff909116815260200160405180910390f35b6100b16100ac36600461032e565b6100ed565b005b6100757f000000000000000000000000000000000000000000000000000000000000000081565b6100b16100e836600461032e565b610273565b6040517f095ea7b300000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000811660048301526024820183905283169063095ea7b3906044016020604051808303815f875af115801561017f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906101a39190610370565b506040517fad58bdd100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff83811660048301527f000000000000000000000000000000000000000000000000000000000000000081166024830152604482018390527f0000000000000000000000000000000000000000000000000000000000000000169063ad58bdd1906064015f604051808303815f87803b158015610259575f80fd5b505af115801561026b573d5f803e3d5ffd5b505050505050565b6040517fa9059cbb00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000811660048301526024820183905283169063a9059cbb906044016020604051808303815f875af1158015610305573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103299190610370565b505050565b5f806040838503121561033f575f80fd5b823573ffffffffffffffffffffffffffffffffffffffff81168114610362575f80fd5b946020939093013593505050565b5f60208284031215610380575f80fd5b8151801515811461038f575f80fd5b939250505056fea26469706673582212208754e6c666313fc920fed4e843af67e93eb5be1d5f4a7343c61ee32ec1b38a7a64736f6c63430008140033a26469706673582212202fa636c1d80e8bb3c551e70068fb4f164990874e0f23de2ce7f15d8b1a0f401664736f6c6343000814003300000000000000000000000088ad09518695c6c3712ac10a214be5109a655671

0x608060405234801561000f575f80fd5b5060043610610085575f3560e01c80638712175911610058578063871217591461010f578063d9caed1214610122578063e010d2af14610135578063e0b195351461015c575f80fd5b806309cae2c8146100895780634aa53f031461009e5780635872fe45146100db578063587675e8146100ee575b5f80fd5b61009c610097366004610681565b61016f565b005b6100b16100ac3660046106b2565b610182565b60405173ffffffffffffffffffffffffffffffffffffffff90911681526020015b60405180910390f35b6100b16100e93660046106b2565b6102db565b6101016100fc366004610681565b61048b565b6040519081526020016100d2565b61009c61011d3660046106cb565b610543565b61009c6101303660046106cb565b6105d7565b6100b17f00000000000000000000000088ad09518695c6c3712ac10a214be5109a65567181565b61009c61016a366004610681565b61063d565b61017e8282610130858561048b565b5050565b5f8061018d836102db565b9050803b801561019e575092915050565b5f805f1b857f00000000000000000000000088ad09518695c6c3712ac10a214be5109a6556716040516101d09061064c565b73ffffffffffffffffffffffffffffffffffffffff9283168152911660208201526040018190604051809103905ff5905080158015610211573d5f803e3d5ffd5b5090508073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16146102d3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602c60248201527f6163636f756e7420646f6573206e6f74206578706563746564206465706c6f7960448201527f6d656e7420616464726573730000000000000000000000000000000000000000606482015260840160405180910390fd5b949350505050565b6040515f907fff0000000000000000000000000000000000000000000000000000000000000090309083906103126020820161064c565b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe082820381018352601f90910116604081815273ffffffffffffffffffffffffffffffffffffffff88811660208401527f00000000000000000000000088ad09518695c6c3712ac10a214be5109a6556711690820152606001604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0818403018152908290526103c79291602001610731565b6040516020818303038152906040528051906020012060405160200161044f94939291907fff0000000000000000000000000000000000000000000000000000000000000094909416845260609290921b7fffffffffffffffffffffffffffffffffffffffff0000000000000000000000001660018401526015830152603582015260550190565b604080517fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0818403018152919052805160209091012092915050565b5f8173ffffffffffffffffffffffffffffffffffffffff166370a082316104b1856102db565b6040517fffffffff0000000000000000000000000000000000000000000000000000000060e084901b16815273ffffffffffffffffffffffffffffffffffffffff9091166004820152602401602060405180830381865afa158015610518573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061053c9190610745565b9392505050565b61054c83610182565b6040517fc3de453d00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff848116600483015260248201849052919091169063c3de453d906044015b5f604051808303815f87803b1580156105bc575f80fd5b505af11580156105ce573d5f803e3d5ffd5b50505050505050565b6105e083610182565b6040517ff3fef3a300000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff848116600483015260248201849052919091169063f3fef3a3906044016105a5565b61017e828261011d858561048b565b6104988061075d83390190565b803573ffffffffffffffffffffffffffffffffffffffff8116811461067c575f80fd5b919050565b5f8060408385031215610692575f80fd5b61069b83610659565b91506106a960208401610659565b90509250929050565b5f602082840312156106c2575f80fd5b61053c82610659565b5f805f606084860312156106dd575f80fd5b6106e684610659565b92506106f460208501610659565b9150604084013590509250925092565b5f81515f5b818110156107235760208185018101518683015201610709565b505f93019283525090919050565b5f6102d361073f8386610704565b84610704565b5f60208284031215610755575f80fd5b505191905056fe60c060405234801561000f575f80fd5b5060405161049838038061049883398101604081905261002e91610060565b6001600160a01b039182166080521660a052610091565b80516001600160a01b038116811461005b575f80fd5b919050565b5f8060408385031215610071575f80fd5b61007a83610045565b915061008860208401610045565b90509250929050565b60805160a0516103cc6100cc5f395f818160b80152818161012a015261021801525f81816053015281816101e901526102b001526103cc5ff3fe608060405234801561000f575f80fd5b506004361061004a575f3560e01c80634f8632ba1461004e578063c3de453d1461009e578063e010d2af146100b3578063f3fef3a3146100da575b5f80fd5b6100757f000000000000000000000000000000000000000000000000000000000000000081565b60405173ffffffffffffffffffffffffffffffffffffffff909116815260200160405180910390f35b6100b16100ac36600461032e565b6100ed565b005b6100757f000000000000000000000000000000000000000000000000000000000000000081565b6100b16100e836600461032e565b610273565b6040517f095ea7b300000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000811660048301526024820183905283169063095ea7b3906044016020604051808303815f875af115801561017f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906101a39190610370565b506040517fad58bdd100000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff83811660048301527f000000000000000000000000000000000000000000000000000000000000000081166024830152604482018390527f0000000000000000000000000000000000000000000000000000000000000000169063ad58bdd1906064015f604051808303815f87803b158015610259575f80fd5b505af115801561026b573d5f803e3d5ffd5b505050505050565b6040517fa9059cbb00000000000000000000000000000000000000000000000000000000815273ffffffffffffffffffffffffffffffffffffffff7f0000000000000000000000000000000000000000000000000000000000000000811660048301526024820183905283169063a9059cbb906044016020604051808303815f875af1158015610305573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103299190610370565b505050565b5f806040838503121561033f575f80fd5b823573ffffffffffffffffffffffffffffffffffffffff81168114610362575f80fd5b946020939093013593505050565b5f60208284031215610380575f80fd5b8151801515811461038f575f80fd5b939250505056fea26469706673582212208754e6c666313fc920fed4e843af67e93eb5be1d5f4a7343c61ee32ec1b38a7a64736f6c63430008140033a26469706673582212202fa636c1d80e8bb3c551e70068fb4f164990874e0f23de2ce7f15d8b1a0f401664736f6c63430008140033

00000000000000000000000088ad09518695c6c3712ac10a214be5109a655671

-----Decoded View---------------
Arg [0] : omnibridge_ (address): 0x88ad09518695c6c3712AC10a214bE5109a655671

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 00000000000000000000000088ad09518695c6c3712ac10a214be5109a655671

68:1922:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1856:131;;;;;;:::i;:::-;;:::i;:::-;;793:644;;;;;;:::i;:::-;;:::i;:::-;;;868:42:1;856:55;;;838:74;;826:2;811:18;793:644:0;;;;;;;;220:397;;;;;;:::i;:::-;;:::i;625:160::-;;;;;;:::i;:::-;;:::i;:::-;;;1300:25:1;;;1288:2;1273:18;625:160:0;1154:177:1;1445:128:0;;;;;;:::i;:::-;;:::i;1716:132::-;;;;;;:::i;:::-;;:::i;92:35::-;;;;;1581:127;;;;;;:::i;:::-;;:::i;1856:131::-;1926:53;1935:4;1941:5;1948:30;1966:4;1972:5;1948:17;:30::i;1926:53::-;1856:131;;:::o;793:644::-;846:13;872:22;897:23;915:4;897:17;:23::i;:::-;872:48;-1:-1:-1;994:27:0;;1048:12;;1044:386;;-1:-1:-1;1098:14:0;793:644;-1:-1:-1;;793:644:0:o;1044:386::-;1146:24;1205:1;1197:10;;1209:4;1215:10;1173:53;;;;;:::i;:::-;1853:42:1;1922:15;;;1904:34;;1974:15;;1969:2;1954:18;;1947:43;1831:2;1816:18;1173:53:0;;;;;;;;;;;;;;;;;;;;;;;;;;;1146:80;;1293:10;1267:37;;:14;:37;;;1241:143;;;;;;;2203:2:1;1241:143:0;;;2185:21:1;2242:2;2222:18;;;2215:30;2281:34;2261:18;;;2254:62;2352:14;2332:18;;;2325:42;2384:19;;1241:143:0;;;;;;;;1408:10;793:644;-1:-1:-1;;;;793:644:0:o;220:397::-;499:32;;282:7;;374:12;;409:4;;282:7;;499:32;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;1853:42:1;1922:15;;;499:32:0;550:28;;1904:34:1;567:10:0;1974:15:1;1954:18;;;1947:43;1816:18;;550:28:0;;;;;;;;;;;;;;464:129;;;550:28;464:129;;:::i;:::-;;;;;;;;;;;;;454:140;;;;;;343:262;;;;;;;;;;3242:66:1;3230:79;;;;3218:92;;3347:2;3343:15;;;;3360:66;3339:88;3335:1;3326:11;;3319:109;3453:2;3444:12;;3437:28;3490:2;3481:12;;3474:28;3527:2;3518:12;;3007:529;343:262:0;;;;;;;;;;;;;;333:273;;343:262;333:273;;;;;220:397;-1:-1:-1;;220:397:0:o;625:160::-;702:7;736:5;729:23;;;753;771:4;753:17;:23::i;:::-;729:48;;;;;;;;;;868:42:1;856:55;;;729:48:0;;;838:74:1;811:18;;729:48:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;722:55;625:160;-1:-1:-1;;;625:160:0:o;1445:128::-;1524:19;1538:4;1524:13;:19::i;:::-;:41;;;;;:26;3922:55:1;;;1524:41:0;;;3904:74:1;3994:18;;;3987:34;;;1524:26:0;;;;;;;3877:18:1;;1524:41:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1445:128;;;:::o;1716:132::-;1797:19;1811:4;1797:13;:19::i;:::-;:43;;;;;:28;3922:55:1;;;1797:43:0;;;3904:74:1;3994:18;;;3987:34;;;1797:28:0;;;;;;;3877:18:1;;1797:43:0;3730:297:1;1581:127:0;1649:51;1656:4;1662:5;1669:30;1687:4;1693:5;1669:17;:30::i;-1:-1:-1:-;;;;;;;;:::o;14:196:1:-;82:20;;142:42;131:54;;121:65;;111:93;;200:1;197;190:12;111:93;14:196;;;:::o;215:260::-;283:6;291;344:2;332:9;323:7;319:23;315:32;312:52;;;360:1;357;350:12;312:52;383:29;402:9;383:29;:::i;:::-;373:39;;431:38;465:2;454:9;450:18;431:38;:::i;:::-;421:48;;215:260;;;;;:::o;480:186::-;539:6;592:2;580:9;571:7;567:23;563:32;560:52;;;608:1;605;598:12;560:52;631:29;650:9;631:29;:::i;1336:328::-;1413:6;1421;1429;1482:2;1470:9;1461:7;1457:23;1453:32;1450:52;;;1498:1;1495;1488:12;1450:52;1521:29;1540:9;1521:29;:::i;:::-;1511:39;;1569:38;1603:2;1592:9;1588:18;1569:38;:::i;:::-;1559:48;;1654:2;1643:9;1639:18;1626:32;1616:42;;1336:328;;;;;:::o;2414:322::-;2455:3;2493:5;2487:12;2517:1;2527:128;2541:6;2538:1;2535:13;2527:128;;;2638:4;2623:13;;;2619:24;;2613:31;2600:11;;;2593:52;2556:12;2527:128;;;-1:-1:-1;2710:1:1;2674:16;;2699:13;;;-1:-1:-1;2674:16:1;;2414:322;-1:-1:-1;2414:322:1:o;2741:261::-;2916:3;2941:55;2966:29;2991:3;2983:6;2966:29;:::i;:::-;2958:6;2941:55;:::i;3541:184::-;3611:6;3664:2;3652:9;3643:7;3639:23;3635:32;3632:52;;;3680:1;3677;3670:12;3632:52;-1:-1:-1;3703:16:1;;3541:184;-1:-1:-1;3541:184:1:o

ipfs://2fa636c1d80e8bb3c551e70068fb4f164990874e0f23de2ce7f15d8b1a0f4016