var videoobjs=document.getElementsByTagName('video');
var videoobjlength=videoobjs.length;
if(videoobjlength>0){
for(let i=0;i<videoobjlength;i++){
videoobjs[i].addEventListener('play',function(){
for(let j=0;j<videoobjlength;j++){
if(i!=j){
videoobjs[j].pause();
}
}
})
}
}