var PingAjax;

function getPing()
{ 

	PingAjax=GetXmlHttpObject();
	if (PingAjax==null)
	{
		return;
	} 

	var url="ajax/ping.php";

	PingAjax.onreadystatechange=gotPing;
	PingAjax.open("GET",url,true);
	PingAjax.send(null);
}

function gotPing() 
{ 
	if (PingAjax.readyState==4)
	{ 
		var xmldoc = PingAjax.responseXML;
		gotPingFunction(xmldoc);
 	}
}