var g_performanceElement = null;
var g_nPerformanceCounter = 0;

function ShowTickCount(sDescription)
{
	if (true)
		return;
	var date = new Date();
	var nTime = date.getTime();
	if (!g_performanceElement)
	{
		g_performanceElement = document.getElementById("performance");
		if (!g_performanceElement)
			return;
		g_nPerformanceCounter = nTime;
	}
	if (sDescription)
		g_performanceElement.appendChild(document.createTextNode(sDescription + " "));
	
	g_performanceElement.appendChild(document.createTextNode(nTime));
	g_performanceElement.appendChild(document.createTextNode(" (" + (nTime - g_nPerformanceCounter) + ")"));
	g_performanceElement.appendChild(document.createElement("br"));
	g_nPerformanceCounter = nTime;
}