1function handler(e) {
2	e.preventDefault();
3	videotarget = this.getAttribute("href");
4	filename = videotarget.substr(0, videotarget.lastIndexOf('.')) || videotarget;
5	video = document.querySelector("#video_player video");
6	video.removeAttribute("controls");
7	video.removeAttribute("poster");
8	source = document.querySelectorAll("#video_player video source");
9	source[0].src = filename + ".mp4";
10	source[1].src = filename + ".webm";
11	video.load();
12	video.play();    
13}