写程序，在带头结点的双向循环链表中 元素x结点之后插入y。

下面是Python实现：

class ListNode:
    def __init__(self, val=0, prev=None, next=None):
        self.val = val
        self.prev = prev
        self.next = next

def insert_node(head: ListNode, x: int, y: int) -> ListNode:
    new_node = ListNode(y)
    cur = head.next
    while cur != head:
        if cur.val == x:
            new_node.prev = cur
            new_node.next = cur.next
            cur.next.prev = new_node
            cur.next = new_node
            break
        cur = cur.next
    return head

其中，ListNode是每个节点的类，包含值val、前驱节点prev和后继节点next。insert_node函数接受带头结点的双向循环链表头结点head，元素x和y，返回修改后的链表头结点。

在函数中，首先创建待插入的新节点new_node，然后从头结点的下一个节点开始遍历链表，查找值为x的节点cur。找到cur节点后，将新节点插入到cur节点之后，具体步骤如下：

1. 将新节点的前驱节点设置为cur节点；
2. 将新节点的后继节点设置为cur节点的后继节点；
3. 将cur节点的后继节点的前驱节点设置为新节点；
4. 将cur节点的后继节点设置为新节点。

最后，返回修改后的链表头结点head。