private static function getTime():String
{
const d = '.';
const e = '';
const s = ':';
var date:Date = new Date();
return e.concat(pad(date.hours, 2), s,
pad(date.minutes, 2), s,
pad(date.seconds, 2), d,
pad(date.milliseconds, 3));
function pad(value:String, length:int):String
{
const zero = '0';
var result:String = value;
while (result.length < length)
{
result = zero.concat(result);
}
return result;
}
}