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());
}