function burnToken(uint256 value) public returns (bool success){
    require(balanceOf[msg.sender] >= value);                                    
    require(total_supply - value <= total_supply);                              
    balanceOf[msg.sender] -= value;
    total_supply -= value;
    Burn(msg.sender,value);
    return true;
  }