function formatDebug( timeInteger ) {
	return (new Date( timeInteger )).toString();
}

function formatTime( timeInteger ) {
	function zeropad( n ){ return n>9 ? n : '0'+n; }
	var t = new Date( timeInteger );
	var Y = t.getFullYear();
	var M = t.getMonth(); // month-1
	var D = t.getDate();
	var d = t.getDay(); // 0..6 == sun..sat
	var day = ['sun','mon','tues','wed','thurs','fri','sat'][d];
	var mon = ['january','february','march','april','may','june', 'july','august','september','october','november','december'][M];
	var h = t.getHours();
	var m = t.getMinutes();
	var s = t.getSeconds();
	return day +', '+ mon +' '+ D +', '+ Y;
//	return day +' '+ D +' '+ mon +', '+ Y +', '+ zeropad(h)+':'+zeropad(m)+':'+zeropad(s);
}