如何从url中获取视频文件的大小？

import requests

def get_video_size(url):
    try:
        response = requests.head(url)
        if 'Content-Length' in response.headers:
            size = int(response.headers['Content-Length'])
            return size
        else:
            return None
    except requests.exceptions.RequestException:
        return None

url = 'https://example.com/video.mp4'
video_size = get_video_size(url)
if video_size:
    print(f"The size of the video file is {video_size} bytes.")
else:
    print("Failed to retrieve the video file size.")