import java.text.*;

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