import java.text.*;

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