ETH Price: $2,074.50 (-2.53%)

Transaction Decoder

Block:
4734596 at Dec-15-2017 03:01:40 AM +UTC
Transaction Fee:
0.00126336 ETH $2.62
Gas Used:
63,168 Gas / 20 Gwei

Emitted Events:

72 PoetToken.Transfer( from=[Receiver] EtherDelta, to=[Sender] 0x54753668904e8803a4250636adc4ca9a837210e2, value=18026740500000 )
73 EtherDelta.Withdraw( token=PoetToken, user=[Sender] 0x54753668904e8803a4250636adc4ca9a837210e2, amount=18026740500000, balance=26912 )

Account State Difference:

  Address   Before After State Difference Code
0x0e0989b1...62Ec9B195
0x54753668...a837210E2
0.13953780248125 Eth
Nonce: 54
0.13827444248125 Eth
Nonce: 55
0.00126336
0x8d12A197...2A5CC6819
(EtherDelta 2)
(Ethermine)
830.784890516304700869 Eth830.786153876304700869 Eth0.00126336

Execution Trace

EtherDelta.withdrawToken( token=0x0e0989b1f9B8A38983c2BA8053269Ca62Ec9B195, amount=18026740500000 )
  • PoetToken.transfer( _to=0x54753668904E8803A4250636aDc4Ca9a837210E2, _value=18026740500000 ) => ( success=True )
    File 1 of 2: EtherDelta
    pragma solidity ^0.4.9;
    
    contract SafeMath {
      function safeMul(uint a, uint b) internal returns (uint) {
        uint c = a * b;
        assert(a == 0 || c / a == b);
        return c;
      }
    
      function safeSub(uint a, uint b) internal returns (uint) {
        assert(b <= a);
        return a - b;
      }
    
      function safeAdd(uint a, uint b) internal returns (uint) {
        uint c = a + b;
        assert(c>=a && c>=b);
        return c;
      }
    
      function assert(bool assertion) internal {
        if (!assertion) throw;
      }
    }
    
    contract Token {
      /// @return total amount of tokens
      function totalSupply() constant returns (uint256 supply) {}
    
      /// @param _owner The address from which the balance will be retrieved
      /// @return The balance
      function balanceOf(address _owner) constant returns (uint256 balance) {}
    
      /// @notice send `_value` token to `_to` from `msg.sender`
      /// @param _to The address of the recipient
      /// @param _value The amount of token to be transferred
      /// @return Whether the transfer was successful or not
      function transfer(address _to, uint256 _value) returns (bool success) {}
    
      /// @notice send `_value` token to `_to` from `_from` on the condition it is approved by `_from`
      /// @param _from The address of the sender
      /// @param _to The address of the recipient
      /// @param _value The amount of token to be transferred
      /// @return Whether the transfer was successful or not
      function transferFrom(address _from, address _to, uint256 _value) returns (bool success) {}
    
      /// @notice `msg.sender` approves `_addr` to spend `_value` tokens
      /// @param _spender The address of the account able to transfer the tokens
      /// @param _value The amount of wei to be approved for transfer
      /// @return Whether the approval was successful or not
      function approve(address _spender, uint256 _value) returns (bool success) {}
    
      /// @param _owner The address of the account owning tokens
      /// @param _spender The address of the account able to transfer the tokens
      /// @return Amount of remaining tokens allowed to spent
      function allowance(address _owner, address _spender) constant returns (uint256 remaining) {}
    
      event Transfer(address indexed _from, address indexed _to, uint256 _value);
      event Approval(address indexed _owner, address indexed _spender, uint256 _value);
    
      uint public decimals;
      string public name;
    }
    
    contract StandardToken is Token {
    
      function transfer(address _to, uint256 _value) returns (bool success) {
        //Default assumes totalSupply can't be over max (2^256 - 1).
        //If your token leaves out totalSupply and can issue more tokens as time goes on, you need to check if it doesn't wrap.
        //Replace the if with this one instead.
        if (balances[msg.sender] >= _value && balances[_to] + _value > balances[_to]) {
        //if (balances[msg.sender] >= _value && _value > 0) {
          balances[msg.sender] -= _value;
          balances[_to] += _value;
          Transfer(msg.sender, _to, _value);
          return true;
        } else { return false; }
      }
    
      function transferFrom(address _from, address _to, uint256 _value) returns (bool success) {
        //same as above. Replace this line with the following if you want to protect against wrapping uints.
        if (balances[_from] >= _value && allowed[_from][msg.sender] >= _value && balances[_to] + _value > balances[_to]) {
        //if (balances[_from] >= _value && allowed[_from][msg.sender] >= _value && _value > 0) {
          balances[_to] += _value;
          balances[_from] -= _value;
          allowed[_from][msg.sender] -= _value;
          Transfer(_from, _to, _value);
          return true;
        } else { return false; }
      }
    
      function balanceOf(address _owner) constant returns (uint256 balance) {
        return balances[_owner];
      }
    
      function approve(address _spender, uint256 _value) returns (bool success) {
        allowed[msg.sender][_spender] = _value;
        Approval(msg.sender, _spender, _value);
        return true;
      }
    
      function allowance(address _owner, address _spender) constant returns (uint256 remaining) {
        return allowed[_owner][_spender];
      }
    
      mapping(address => uint256) balances;
    
      mapping (address => mapping (address => uint256)) allowed;
    
      uint256 public totalSupply;
    }
    
    contract ReserveToken is StandardToken, SafeMath {
      address public minter;
      function ReserveToken() {
        minter = msg.sender;
      }
      function create(address account, uint amount) {
        if (msg.sender != minter) throw;
        balances[account] = safeAdd(balances[account], amount);
        totalSupply = safeAdd(totalSupply, amount);
      }
      function destroy(address account, uint amount) {
        if (msg.sender != minter) throw;
        if (balances[account] < amount) throw;
        balances[account] = safeSub(balances[account], amount);
        totalSupply = safeSub(totalSupply, amount);
      }
    }
    
    contract AccountLevels {
      //given a user, returns an account level
      //0 = regular user (pays take fee and make fee)
      //1 = market maker silver (pays take fee, no make fee, gets rebate)
      //2 = market maker gold (pays take fee, no make fee, gets entire counterparty's take fee as rebate)
      function accountLevel(address user) constant returns(uint) {}
    }
    
    contract AccountLevelsTest is AccountLevels {
      mapping (address => uint) public accountLevels;
    
      function setAccountLevel(address user, uint level) {
        accountLevels[user] = level;
      }
    
      function accountLevel(address user) constant returns(uint) {
        return accountLevels[user];
      }
    }
    
    contract EtherDelta is SafeMath {
      address public admin; //the admin address
      address public feeAccount; //the account that will receive fees
      address public accountLevelsAddr; //the address of the AccountLevels contract
      uint public feeMake; //percentage times (1 ether)
      uint public feeTake; //percentage times (1 ether)
      uint public feeRebate; //percentage times (1 ether)
      mapping (address => mapping (address => uint)) public tokens; //mapping of token addresses to mapping of account balances (token=0 means Ether)
      mapping (address => mapping (bytes32 => bool)) public orders; //mapping of user accounts to mapping of order hashes to booleans (true = submitted by user, equivalent to offchain signature)
      mapping (address => mapping (bytes32 => uint)) public orderFills; //mapping of user accounts to mapping of order hashes to uints (amount of order that has been filled)
    
      event Order(address tokenGet, uint amountGet, address tokenGive, uint amountGive, uint expires, uint nonce, address user);
      event Cancel(address tokenGet, uint amountGet, address tokenGive, uint amountGive, uint expires, uint nonce, address user, uint8 v, bytes32 r, bytes32 s);
      event Trade(address tokenGet, uint amountGet, address tokenGive, uint amountGive, address get, address give);
      event Deposit(address token, address user, uint amount, uint balance);
      event Withdraw(address token, address user, uint amount, uint balance);
    
      function EtherDelta(address admin_, address feeAccount_, address accountLevelsAddr_, uint feeMake_, uint feeTake_, uint feeRebate_) {
        admin = admin_;
        feeAccount = feeAccount_;
        accountLevelsAddr = accountLevelsAddr_;
        feeMake = feeMake_;
        feeTake = feeTake_;
        feeRebate = feeRebate_;
      }
    
      function() {
        throw;
      }
    
      function changeAdmin(address admin_) {
        if (msg.sender != admin) throw;
        admin = admin_;
      }
    
      function changeAccountLevelsAddr(address accountLevelsAddr_) {
        if (msg.sender != admin) throw;
        accountLevelsAddr = accountLevelsAddr_;
      }
    
      function changeFeeAccount(address feeAccount_) {
        if (msg.sender != admin) throw;
        feeAccount = feeAccount_;
      }
    
      function changeFeeMake(uint feeMake_) {
        if (msg.sender != admin) throw;
        if (feeMake_ > feeMake) throw;
        feeMake = feeMake_;
      }
    
      function changeFeeTake(uint feeTake_) {
        if (msg.sender != admin) throw;
        if (feeTake_ > feeTake || feeTake_ < feeRebate) throw;
        feeTake = feeTake_;
      }
    
      function changeFeeRebate(uint feeRebate_) {
        if (msg.sender != admin) throw;
        if (feeRebate_ < feeRebate || feeRebate_ > feeTake) throw;
        feeRebate = feeRebate_;
      }
    
      function deposit() payable {
        tokens[0][msg.sender] = safeAdd(tokens[0][msg.sender], msg.value);
        Deposit(0, msg.sender, msg.value, tokens[0][msg.sender]);
      }
    
      function withdraw(uint amount) {
        if (tokens[0][msg.sender] < amount) throw;
        tokens[0][msg.sender] = safeSub(tokens[0][msg.sender], amount);
        if (!msg.sender.call.value(amount)()) throw;
        Withdraw(0, msg.sender, amount, tokens[0][msg.sender]);
      }
    
      function depositToken(address token, uint amount) {
        //remember to call Token(address).approve(this, amount) or this contract will not be able to do the transfer on your behalf.
        if (token==0) throw;
        if (!Token(token).transferFrom(msg.sender, this, amount)) throw;
        tokens[token][msg.sender] = safeAdd(tokens[token][msg.sender], amount);
        Deposit(token, msg.sender, amount, tokens[token][msg.sender]);
      }
    
      function withdrawToken(address token, uint amount) {
        if (token==0) throw;
        if (tokens[token][msg.sender] < amount) throw;
        tokens[token][msg.sender] = safeSub(tokens[token][msg.sender], amount);
        if (!Token(token).transfer(msg.sender, amount)) throw;
        Withdraw(token, msg.sender, amount, tokens[token][msg.sender]);
      }
    
      function balanceOf(address token, address user) constant returns (uint) {
        return tokens[token][user];
      }
    
      function order(address tokenGet, uint amountGet, address tokenGive, uint amountGive, uint expires, uint nonce) {
        bytes32 hash = sha256(this, tokenGet, amountGet, tokenGive, amountGive, expires, nonce);
        orders[msg.sender][hash] = true;
        Order(tokenGet, amountGet, tokenGive, amountGive, expires, nonce, msg.sender);
      }
    
      function trade(address tokenGet, uint amountGet, address tokenGive, uint amountGive, uint expires, uint nonce, address user, uint8 v, bytes32 r, bytes32 s, uint amount) {
        //amount is in amountGet terms
        bytes32 hash = sha256(this, tokenGet, amountGet, tokenGive, amountGive, expires, nonce);
        if (!(
          (orders[user][hash] || ecrecover(sha3("\x19Ethereum Signed Message:\n32", hash),v,r,s) == user) &&
          block.number <= expires &&
          safeAdd(orderFills[user][hash], amount) <= amountGet
        )) throw;
        tradeBalances(tokenGet, amountGet, tokenGive, amountGive, user, amount);
        orderFills[user][hash] = safeAdd(orderFills[user][hash], amount);
        Trade(tokenGet, amount, tokenGive, amountGive * amount / amountGet, user, msg.sender);
      }
    
      function tradeBalances(address tokenGet, uint amountGet, address tokenGive, uint amountGive, address user, uint amount) private {
        uint feeMakeXfer = safeMul(amount, feeMake) / (1 ether);
        uint feeTakeXfer = safeMul(amount, feeTake) / (1 ether);
        uint feeRebateXfer = 0;
        if (accountLevelsAddr != 0x0) {
          uint accountLevel = AccountLevels(accountLevelsAddr).accountLevel(user);
          if (accountLevel==1) feeRebateXfer = safeMul(amount, feeRebate) / (1 ether);
          if (accountLevel==2) feeRebateXfer = feeTakeXfer;
        }
        tokens[tokenGet][msg.sender] = safeSub(tokens[tokenGet][msg.sender], safeAdd(amount, feeTakeXfer));
        tokens[tokenGet][user] = safeAdd(tokens[tokenGet][user], safeSub(safeAdd(amount, feeRebateXfer), feeMakeXfer));
        tokens[tokenGet][feeAccount] = safeAdd(tokens[tokenGet][feeAccount], safeSub(safeAdd(feeMakeXfer, feeTakeXfer), feeRebateXfer));
        tokens[tokenGive][user] = safeSub(tokens[tokenGive][user], safeMul(amountGive, amount) / amountGet);
        tokens[tokenGive][msg.sender] = safeAdd(tokens[tokenGive][msg.sender], safeMul(amountGive, amount) / amountGet);
      }
    
      function testTrade(address tokenGet, uint amountGet, address tokenGive, uint amountGive, uint expires, uint nonce, address user, uint8 v, bytes32 r, bytes32 s, uint amount, address sender) constant returns(bool) {
        if (!(
          tokens[tokenGet][sender] >= amount &&
          availableVolume(tokenGet, amountGet, tokenGive, amountGive, expires, nonce, user, v, r, s) >= amount
        )) return false;
        return true;
      }
    
      function availableVolume(address tokenGet, uint amountGet, address tokenGive, uint amountGive, uint expires, uint nonce, address user, uint8 v, bytes32 r, bytes32 s) constant returns(uint) {
        bytes32 hash = sha256(this, tokenGet, amountGet, tokenGive, amountGive, expires, nonce);
        if (!(
          (orders[user][hash] || ecrecover(sha3("\x19Ethereum Signed Message:\n32", hash),v,r,s) == user) &&
          block.number <= expires
        )) return 0;
        uint available1 = safeSub(amountGet, orderFills[user][hash]);
        uint available2 = safeMul(tokens[tokenGive][user], amountGet) / amountGive;
        if (available1<available2) return available1;
        return available2;
      }
    
      function amountFilled(address tokenGet, uint amountGet, address tokenGive, uint amountGive, uint expires, uint nonce, address user, uint8 v, bytes32 r, bytes32 s) constant returns(uint) {
        bytes32 hash = sha256(this, tokenGet, amountGet, tokenGive, amountGive, expires, nonce);
        return orderFills[user][hash];
      }
    
      function cancelOrder(address tokenGet, uint amountGet, address tokenGive, uint amountGive, uint expires, uint nonce, uint8 v, bytes32 r, bytes32 s) {
        bytes32 hash = sha256(this, tokenGet, amountGet, tokenGive, amountGive, expires, nonce);
        if (!(orders[msg.sender][hash] || ecrecover(sha3("\x19Ethereum Signed Message:\n32", hash),v,r,s) == msg.sender)) throw;
        orderFills[msg.sender][hash] = amountGet;
        Cancel(tokenGet, amountGet, tokenGive, amountGive, expires, nonce, msg.sender, v, r, s);
      }
    }

    File 2 of 2: PoetToken
    pragma solidity ^0.4.15;
    
    
    /// @title Abstract ERC20 token interface
    contract AbstractToken {
    
        function totalSupply() constant returns (uint256) {}
        function balanceOf(address owner) constant returns (uint256 balance);
        function transfer(address to, uint256 value) returns (bool success);
        function transferFrom(address from, address to, uint256 value) returns (bool success);
        function approve(address spender, uint256 value) returns (bool success);
        function allowance(address owner, address spender) constant returns (uint256 remaining);
    
        event Transfer(address indexed from, address indexed to, uint256 value);
        event Approval(address indexed owner, address indexed spender, uint256 value);
        event Issuance(address indexed to, uint256 value);
    }
    
    
    contract Owned {
    
        address public owner = msg.sender;
        address public potentialOwner;
    
        modifier onlyOwner {
            require(msg.sender == owner);
            _;
        }
    
        modifier onlyPotentialOwner {
            require(msg.sender == potentialOwner);
            _;
        }
    
        event NewOwner(address old, address current);
        event NewPotentialOwner(address old, address potential);
    
        function setOwner(address _new)
            public
            onlyOwner
        {
            NewPotentialOwner(owner, _new);
            potentialOwner = _new;
        }
    
        function confirmOwnership()
            public
            onlyPotentialOwner
        {
            NewOwner(owner, potentialOwner);
            owner = potentialOwner;
            potentialOwner = 0;
        }
    }
    
    
    /// Implements ERC 20 Token standard: https://github.com/ethereum/EIPs/issues/20
    contract StandardToken is AbstractToken, Owned {
    
        /*
         *  Data structures
         */
        mapping (address => uint256) balances;
        mapping (address => mapping (address => uint256)) allowed;
        uint256 public totalSupply;
    
        /*
         *  Read and write storage functions
         */
        /// @dev Transfers sender's tokens to a given address. Returns success.
        /// @param _to Address of token receiver.
        /// @param _value Number of tokens to transfer.
        function transfer(address _to, uint256 _value) returns (bool success) {
            if (balances[msg.sender] >= _value && balances[_to] + _value > balances[_to]) {
                balances[msg.sender] -= _value;
                balances[_to] += _value;
                Transfer(msg.sender, _to, _value);
                return true;
            }
            else {
                return false;
            }
        }
    
        /// @dev Allows allowed third party to transfer tokens from one address to another. Returns success.
        /// @param _from Address from where tokens are withdrawn.
        /// @param _to Address to where tokens are sent.
        /// @param _value Number of tokens to transfer.
        function transferFrom(address _from, address _to, uint256 _value) returns (bool success) {
          if (balances[_from] >= _value && allowed[_from][msg.sender] >= _value && balances[_to] + _value > balances[_to]) {
                balances[_to] += _value;
                balances[_from] -= _value;
                allowed[_from][msg.sender] -= _value;
                Transfer(_from, _to, _value);
                return true;
            }
            else {
                return false;
            }
        }
    
        /// @dev Returns number of tokens owned by given address.
        /// @param _owner Address of token owner.
        function balanceOf(address _owner) constant returns (uint256 balance) {
            return balances[_owner];
        }
    
        /// @dev Sets approved amount of tokens for spender. Returns success.
        /// @param _spender Address of allowed account.
        /// @param _value Number of approved tokens.
        function approve(address _spender, uint256 _value) returns (bool success) {
            allowed[msg.sender][_spender] = _value;
            Approval(msg.sender, _spender, _value);
            return true;
        }
    
        /*
         * Read storage functions
         */
        /// @dev Returns number of allowed tokens for given address.
        /// @param _owner Address of token owner.
        /// @param _spender Address of token spender.
        function allowance(address _owner, address _spender) constant returns (uint256 remaining) {
          return allowed[_owner][_spender];
        }
    
    }
    
    
    /// @title SafeMath contract - Math operations with safety checks.
    /// @author OpenZeppelin: https://github.com/OpenZeppelin/zeppelin-solidity/blob/master/contracts/math/SafeMath.sol
    contract SafeMath {
        function mul(uint a, uint b) internal returns (uint) {
            uint c = a * b;
            assert(a == 0 || c / a == b);
            return c;
        }
    
        function div(uint a, uint b) internal returns (uint) {
            assert(b > 0);
            uint c = a / b;
            assert(a == b * c + a % b);
            return c;
        }
    
        function sub(uint a, uint b) internal returns (uint) {
            assert(b <= a);
            return a - b;
        }
    
        function add(uint a, uint b) internal returns (uint) {
            uint c = a + b;
            assert(c >= a);
            return c;
        }
    
        function pow(uint a, uint b) internal returns (uint) {
            uint c = a ** b;
            assert(c >= a);
            return c;
        }
    }
    
    
    /// @title Token contract - Implements Standard ERC20 with additional features.
    /// @author Zerion - <zerion@inbox.com>
    contract Token is StandardToken, SafeMath {
        // Time of the contract creation
        uint public creationTime;
    
        function Token() {
            creationTime = now;
        }
    
    
        /// @dev Owner can transfer out any accidentally sent ERC20 tokens
        function transferERC20Token(address tokenAddress)
            public
            onlyOwner
            returns (bool)
        {
            uint balance = AbstractToken(tokenAddress).balanceOf(this);
            return AbstractToken(tokenAddress).transfer(owner, balance);
        }
    
        /// @dev Multiplies the given number by 10^(decimals)
        function withDecimals(uint number, uint decimals)
            internal
            returns (uint)
        {
            return mul(number, pow(10, decimals));
        }
    }
    
    
    /// @title Token contract - Implements Standard ERC20 Token with Po.et features.
    /// @author Zerion - <zerion@inbox.com>
    contract PoetToken is Token {
    
        /*
         * Token meta data
         */
        string constant public name = "Po.et";
        string constant public symbol = "POE";
        uint8 constant public decimals = 8;
    
        // Address where all investors tokens created during the ICO stage initially allocated
        address constant public icoAllocation = 0x1111111111111111111111111111111111111111;
    
        // Address where Foundation tokens are allocated
        address constant public foundationReserve = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF;
    
        // Number of tokens initially allocated to Foundation
        uint foundationTokens;
    
        // Store number of days in each month
        mapping(uint8 => uint8) daysInMonth;
    
        // UNIX timestamp for September 1, 2017
        // It's a date when first 2% of foundation reserve will be unlocked
        uint Sept1_2017 = 1504224000;
    
        // Number of days since September 1, 2017 before all tokens will be unlocked
        uint reserveDelta = 456;
    
    
        /// @dev Contract constructor function sets totalSupply and allocates all ICO tokens to the icoAllocation address
        function PoetToken()
        {   
            // Overall, 3,141,592,653 POE tokens are distributed
            totalSupply = withDecimals(3141592653, decimals);
    
            // Allocate 32% of all tokens to Foundation
            foundationTokens = div(mul(totalSupply, 32), 100);
            balances[foundationReserve] = foundationTokens;
    
            // Allocate the rest to icoAllocation address
            balances[icoAllocation] = sub(totalSupply, foundationTokens);
    
            // Allow owner to distribute tokens allocated on the icoAllocation address
            allowed[icoAllocation][owner] = balanceOf(icoAllocation);
    
            // Fill mapping with numbers of days
            // Note: we consider only February of 2018 that has 28 days
            daysInMonth[1]  = 31; daysInMonth[2]  = 28; daysInMonth[3]  = 31;
            daysInMonth[4]  = 30; daysInMonth[5]  = 31; daysInMonth[6]  = 30;
            daysInMonth[7]  = 31; daysInMonth[8]  = 31; daysInMonth[9]  = 30;
            daysInMonth[10] = 31; daysInMonth[11] = 30; daysInMonth[12] = 31;
        }
    
        /// @dev Sends tokens from icoAllocation to investor
        function distribute(address investor, uint amount)
            public
            onlyOwner
        {
            transferFrom(icoAllocation, investor, amount);
        }
    
        /// @dev Overrides Owned.sol function
        function confirmOwnership()
            public
            onlyPotentialOwner
        {   
            // Allow new owner to distribute tokens allocated on the icoAllocation address
            allowed[icoAllocation][potentialOwner] = balanceOf(icoAllocation);
    
            // Forbid old owner to distribute tokens
            allowed[icoAllocation][owner] = 0;
    
            // Forbid old owner to withdraw tokens from foundation reserve
            allowed[foundationReserve][owner] = 0;
    
            // Change owner
            super.confirmOwnership();
        }
    
        /// @dev Overrides StandardToken.sol function
        function allowance(address _owner, address _spender)
            public
            constant
            returns (uint256 remaining)
        {
            if (_owner == foundationReserve && _spender == owner) {
                return availableReserve();
            }
    
            return allowed[_owner][_spender];
        }
    
        /// @dev Returns max number of tokens that actually can be withdrawn from foundation reserve
        function availableReserve() 
            public
            constant
            returns (uint)
        {   
            // No tokens should be available for withdrawal before September 1, 2017
            if (now < Sept1_2017) {
                return 0;
            }
    
            // Number of days passed  since September 1, 2017
            uint daysPassed = div(sub(now, Sept1_2017), 1 days);
    
            // All tokens should be unlocked if reserveDelta days passed
            if (daysPassed >= reserveDelta) {
                return balanceOf(foundationReserve);
            }
    
            // Percentage of unlocked tokens by the current date
            uint unlockedPercentage = 0;
    
            uint16 _days = 0;  uint8 month = 9;
            while (_days <= daysPassed) {
                unlockedPercentage += 2;
                _days += daysInMonth[month];
                month = month % 12 + 1;
            }
    
            // Number of unlocked tokens by the current date
            uint unlockedTokens = div(mul(totalSupply, unlockedPercentage), 100);
    
            // Number of tokens that should remain locked
            uint lockedTokens = foundationTokens - unlockedTokens;
    
            return balanceOf(foundationReserve) - lockedTokens;
        }
    
        /// @dev Withdraws tokens from foundation reserve
        function withdrawFromReserve(uint amount)
            public
            onlyOwner
        {   
            // Allow owner to withdraw no more than this amount of tokens
            allowed[foundationReserve][owner] = availableReserve();
    
            // Withdraw tokens from foundation reserve to owner address
            require(transferFrom(foundationReserve, owner, amount));
        }
    }