Function RotateRight(node)

  a = node
  b = node.left
  y = b.right

  a.left = y
  b.right = a
  return b

End Function