sS dateWithMillisecondsGMT(long time default now()) {
  var format = simpleDateFormat_GMT("yyyy/MM/dd");
  ret format.format(time) + " " + formatGMTWithMilliseconds_24(time);
}