function Counter() {
  //var HTML = Tools.getHTML();
    var HTML=document.body;

this.checkInc = function (id, path) {
 var e = document.getElementById(id);
 if(e) HTML.removeChild(e);
 e = document.createElement('SCRIPT');
 e.id = id;
 e.src = path + id;
 HTML.appendChild(e);
}

 this.check = function (id) {
  var path = '../cgi-bin/check.pl?page=';
  this.checkInc(id, path);
}

 this.inc = function(id) {
  var path = '../cgi-bin/counter.pl?page=';
  this.checkInc(id, path);
}
 
}

counter = new Counter();