from moviepy.editor import VideoFileClip

def convert_webm_to_mp4(webm_file, mp4_file):
    clip = VideoFileClip(webm_file)
    clip.write_videofile(mp4_file)

convert_webm_to_mp4("mario.webm", "mario.mp4")