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