import java.text.*;

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

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