import java.text.*;

static S localTime_24(long time) {
  SimpleDateFormat sdf = new SimpleDateFormat("HH:mm");
  sdf.setTimeZone(localTimeZone());
  ret sdf.format(time);
}

static S localTime_24() {
  ret localTime_24(now());
}