Dacă faci refresh la pagină la un interval de 1 secundă o să observi cum variază acel contor. Deci sigur nu e ceva manual, un script tot este pe undeva.