var videos = document.getElementsByTagName("video");
for(var i = 0; i <videos.length; i++ ){
videos[i].addEventListener("playing",function(){
var this1 = this;
this.play();
for(var j=0; j<videos.length; j++){
var this2 = videos[j];
if(this1 !== this2){
this2.pause();
};
};
});
};