/**
 * Object Elapsed
 * 	Simple object to get a time interval.
 *
 * @author               Andrea Giammarchi
 * @date                 2005/08/12
 * @version              unique
 */
function Elapsed(details) {
	
	function getMicroTime() {
		var dt = new Date();
		return dt.getTime();
	}
	
	function number_format(num, details) {
		var tmp1 = String(num).split('.');
		var tmp2 = '';
		if(tmp1.length == 1) {
			tmp2 = tmp1[0] + '.';
			for(var a = 0; a < details; a++)
				tmp2 += '0';
		}
		else {
			for(var a = (details - 1); a >= 0; a--) {
				if(a < tmp1[1].length)
					tmp2 = tmp1[1].charAt(a) + tmp2;
				else
					tmp2 = '0' + tmp2;
			}
			tmp2 = tmp1[0] + '.' + tmp2;
		}
		return tmp2;
	}
	
	function info() {
		return number_format((getMicroTime() - start) / 1000, details);
	}
	
	var start = getMicroTime();
	
	this.info = info;
}