import java.text.*;

static S localDateWithMilliseconds(long time) {
  SimpleDateFormat format = simpleDateFormat_local("yyyy/MM/dd HH:mm:ss''SSSS");
  ret format.format(time);
}

static S localDateWithMilliseconds() {
  ret localDateWithMilliseconds(now());
}