import java.text.*;

static S formatGMTWithDate_24(long time) {
  ret simpleDateFormat_GMT("yyyy/MM/dd").format(time) + " " + formatGMT_24(time);
}