// JavaScript Document

function videoplayer(vid_url) {
	if (navigator.userAgent.search("Safari/5") >= 0 || navigator.userAgent.search("Safari/6") >= 0 || navigator.userAgent.search("iPad;") >= 0 || navigator.userAgent.search("Chrome/5") >= 0) {
		document.getElementById("html5_video_embed").innerHTML = "<video width=\"600\" height=\"336\" controls=\"controls\" autoplay=\"autoplay\" src=\"" + vid_url + "\"></video>";
	}
}