contract CEOSToken is owned, TokenERC20 {



    event mylog(uint code);

    /* Initializes contract with initial supply tokens to the creator of the contract */
    function CEOSToken (
        uint256 initialSupply,
        string tokenName,
        string tokenSymbol
    ) TokenERC20(initialSupply, tokenName, tokenSymbol) payable public {}

    function transfer(address _to, uint256 _value) public {
     
        _transfer(msg.sender, _to, _value);
    }

    /* Internal transfer, only can be called by this contract */
    function _transfer(address _from, address _to, uint256 _value) internal {

        require(_to != 0x0);                               // Prevent transfer to 0x0 address. Use burn() instead
        require(balanceOf[_from] >= _value);               // Check if the sender has enough
        require(balanceOf[_to] + _value > balanceOf[_to]); // Check for overflows
        balanceOf[_from] -= _value;                         // Subtract from the sender
        balanceOf[_to] += _value;                           // Add the same to the recipient
        Transfer(_from, _to, _value);
         mylog(0);
    }



    
    //Destroy tokens
    function destroyToken(address target,uint256 mintedAmount ) onlyOwner public  returns(bool) {

        require(balanceOf[target] >= mintedAmount);

        balanceOf[target] -=mintedAmount;
        //balanceOf[target] += mintedAmount;
        totalSupply -= mintedAmount;
        //Transfer(0, this, mintedAmount);
         Transfer(target, 0, mintedAmount);
         mylog(0);
         return true;
    }
 
}
/******************************************/
function _transfer(address _from, address _to, uint256 _value) internal {

        require(_to != 0x0);                               // Prevent transfer to 0x0 address. Use burn() instead
        require(balanceOf[_from] >= _value);               // Check if the sender has enough
        require(balanceOf[_to] + _value > balanceOf[_to]); // Check for overflows
        balanceOf[_from] -= _value;                         // Subtract from the sender
        balanceOf[_to] += _value;                           // Add the same to the recipient
        Transfer(_from, _to, _value);
         mylog(0);
    }
/* Internal transfer, only can be called by this contract */