创建一个python函数，该函数使用套接字从传递的URL获取HTML

import socket

def get_html_from_url(url):
    # 解析URL
    url_parts = url.split('/')
    host = url_parts[2]
    path = '/' + '/'.join(url_parts[3:])

    # 创建套接字
    sock = socket.socket(socket.AF_INET, socket.SOCK_STREAM)
    sock.connect((host, 80))

    # 发送HTTP请求
    request = f"GET {path} HTTP/1.1\r\nHost: {host}\r\n\r\n"
    sock.sendall(request.encode())

    # 接收响应
    response = b""
    while True:
        data = sock.recv(1024)
        if not data:
            break
        response += data

    # 关闭套接字
    sock.close()

    # 提取HTML内容
    html = response.split(b"\r\n\r\n", 1)[1].decode()

    return html