function rotateLeft(h) {
    const x = h.right
    h.right = x.left
    x.left = h
    x.color = h.color