var animRate = 10;
var currCounter = 0;
var rate = 0;

function initCounter(c, r) {
	currCounter = c;
	rate = r;
	setInterval("updateCounter()", 1000 / animRate);
}

function updateCounter() {
	currCounter += rate / animRate;
	var c = document.getElementById('counter');
	if (c != null) c.innerHTML = format(currCounter);
}
	
function format(n) {
	n = n.toFixed(0);
	var rgx = /(\d+)(\d{3})/;
	while (rgx.test(n))
		n = n.replace(rgx, '$1' + ',' + '$2');
	return n;
}