import java.text.*;

sS localTimeWithOptionalDate_24(long time) {
  SimpleDateFormat format = simpleDateFormat_local("yyyy/MM/dd");
  S date = format.format(time);
  bool needDate = neq(date, format.format(now()));
  ret (needDate ? date + " " : "") + localTime_24(time);
}