import java.text.*;

static S timeInZone_24(long time, S timeZone) {
  SimpleDateFormat sdf = new SimpleDateFormat("HH:mm");
  sdf.setTimeZone(getTimeZone(timeZone));
  ret sdf.format(time);
}

static S timeInZone_24(S timeZone) {
  ret timeInZone_24(now(), timeZone);
}