function setCounter()
{
var xmlhttp;
if (window.XMLHttpRequest)
  {
  // code for IE7+, Firefox, Chrome, Opera, Safari
  xmlhttp=new XMLHttpRequest();
  }
else if (window.ActiveXObject)
  {
  // code for IE6, IE5
  xmlhttp=new ActiveXObject("Microsoft.XMLHTTP");
  }

xmlhttp.onreadystatechange=function()
{
if(xmlhttp.readyState==4)
  {
  document.getElementById("counter").innerHTML=xmlhttp.responseText;
  }
}

xmlhttp.open("GET","ajax.counter.php",true);
xmlhttp.send(null);
}

function runCounter()
	{
	setCounter();
	window.setInterval("setCounter();", 5000);
	}