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