import java.text.*; sS localDateWithMilliseconds(Date time) { ret localDateWithMilliseconds(time.getTime()); } sS localDateWithMilliseconds(long time) { SimpleDateFormat format = simpleDateFormat_local("yyyy/MM/dd HH:mm:ss''SSSS"); ret format.format(time); } sS localDateWithMilliseconds() { ret localDateWithMilliseconds(now()); }