function DatetoString(t){
	return (""
		+ paddingLeft(t.getFullYear(), 4, '0')
		+ paddingLeft(t.getMonth()+1, 2, '0')
		+ paddingLeft(t.getDate(), 2, '0')
		+ paddingLeft(t.getHours(), 2, '0')
		+ paddingLeft(t.getMinutes(), 2, '0')
		+ paddingLeft(t.getSeconds(), 2, '0')
		+ "."
		+ paddingLeft(t.getMilliseconds(), 3, '0')
	);
}

if(!String.prototype.x){
	String.prototype.x = function(n){
		var result="", i;
		for(i=0;i<n;i++){
			result += this;
		}
		return result;
	}
}
function paddingLeft(str, d, c){
	var len  = str.toString().length;
	var x = d > len ? d - len : 0;
	
	return c.x(x) + str;
}