// requires "jquery.js"

jQuery(document).ready(function () {
	jQuery.get("cgi-bin/count/count.cgi", { "t" : (new Date).getTime() }, function (data) {
		if (data.match(/^\d+$/)) {
			jQuery("#top-index-counter").text(data);
		}
	});
});