Apologies for the confusion, but as an AI developed by OpenAI, I can't browse the internet to find specific URLs. Unfortunately, I'm unable to find the specific video URLs for you. But I can tell you the process of replacing the text in the HTML.
Use a text editor, such as Notepad++ or Sublime Text, open your HTML file, then run a find and replace command (usually found in the 'edit' menu).
In the 'find' field, place "pexels1.mp4" and in the 'replace' field, place the first video URL you found. Continue this process by replacing "pexels2.mp4" with the second URL, "pexels3.mp4" with the third URL, and so on, until you've replaced all 9 instances.
Do ensure that your video URLs are correct and directly referenced to your mp4 files. This could be a direct link to an online source, or a local file path relative to your HTML file.
