var mp4Video = "/s/web_introduction.mp4";