$(document).ready(function() {   

      var pvideo = document.getElementById("pmp4")
			$(".playvideo").click(function () { $(this).css("display","none");pvideo.play();	 });
			$(".pimgsmall li").click(function () {
				pvideo.pause();	
				$(".playvideo").css("display","none");
				var imgsrc=$(this).children("img").attr("videosrc");	
					//console.log("imgsrc:",imgsrc)
				$("#pmp4").attr("src",imgsrc);
				pvideo.play(); 
			});	
		 
	 
		 	
});