static S formatGMTWithMilliseconds_24(long time default now()) {
  var sdf = simpleDateFormat("HH:mm:ss''SSSS", TimeZone.getTimeZone("GMT"));
  ret sdf.format(time) + " GMT";
}