Batch Rename

After download url video using https://pastebin.com/jMpqLv42 then download video using  wget -i video9.txt
Then rename video using bat file below

@echo off
setlocal enabledelayedexpansion
set count=1

for %%f in ("index.html*") do (
    set "filename=%%~nxf"
    ren "%%f" "video_8_!count!.mp4"
    set /a count+=1
)
pause