import java.text.*;

sS dateWithMSUTC(long time default now()) {
  var format = simpleDateFormat_UTC("yyyy/MM/dd");
  ret format.format(time) + " " + formatUTCWithMS_24(time);
}