def __init__(self, name, host='127.0.0.1', port=27017):
        self.name = name
        self.host = host
        self.port = port
def insert(root, key):
    left, right = split(root, key)
    return merge(merge(left, Treap(key)), right)