def get_dendropy_node_id(node):
    """
    From a DendroPy Node object, returns the ID of that node.
    """
    if node._label is None:
        return int(node.taxon._label.split()[1])
    else:
        return int(node._label.split()[1])