-- Set up proxy
proxyHost = "www.duoip.cn"
proxyPort = 8000
-- Download video from zuoyebang.com
videoUrl = "https://www.zuoyebang.com/"
videoFile = "video.mp4"
-- Set up proxy manager
proxyManager = HttpClientProxyManager (Proxy proxyHost proxyPort)
-- Create a new HTTP client using the proxy manager
httpClient = newHttpClient proxyManager
-- Create a new GET request to the video URL
videoRequest = newHttpGetRequest videoUrl
-- Execute the GET request and get the response
videoResponse = httpClient execute videoRequest
-- Check if the response is successful
if (videoResponse.StatusCode == HttpStatusCode.OK)
then
-- Get the video content
videoContent = videoResponse.Content.ReadAsStringAsync().GetResult()
-- Parse the video content using TagSoup
let soup = parseTagsoup videoContent
-- Extract the video file from the HTML
videoFileUrl = extractVideoFileUrl soup
-- Download the video file
downloadVideoFile videoFileUrl videoFile
else
-- Print error message
print "Failed to download video"
```