func: function withdraw( ERC20 token, uint amount, address destination ) returns(bool) {
          if( msg.sender != reserveOwner ) {
              
              ErrorReport( tx.origin, 0x860000000, uint(msg.sender) );
              return false;
          }
  
          if( token == ETH_TOKEN_ADDRESS ) {
              if( ! destination.send(amount) ) throw;
          }
          else if( ! token.transfer(destination,amount) ) {
              
              ErrorReport( tx.origin, 0x860000001, uint(token) );
              return false;
          }
  
          ErrorReport( tx.origin, 0, 0 );
          Withdraw( token, amount, destination );
      }