// timing tests...
var t0 = 0;
//var t1 = 0;
var timesArray = new Array();

function clearTimes() {
	timesArray = new Array();
}


function addTime(label) {
	timesArray[timesArray.length] = new Array(label,(new Date()).valueOf());
}

function showTimes() {
	var s = "";
	var t0 = 0;

	for (var i=0;i<timesArray.length;i++) {
		if (i==0)
			t0 = timesArray[i][1];
		else
			s += timesArray[i][0] + " "+ (timesArray[i][1]-t0)+" ( "+(timesArray[i][1]-timesArray[i-1][1])+")\n";
	}
	alert("Times ("+(timesArray[timesArray.length-1][1]-timesArray[0][1])+"):\n"+s);
}