play_times.js

var viewElement = document.getElementById('watch7-views-info').getElementsByClassName('watch-view-count')[0];
var i = another = Number(viewElement.innerHTML.replace(",",""));
var count = setInterval(function(){
	counter(i);
	i += 9;
	if(i >= another+10000){
		clearInterval(count);
		}
	},10);
function counter(num){
	viewElement.innerHTML = String(num).replace(/(\d)(?=(\d\d\d)+(?!\d))/g,'$1,');
}