import java.text.*;

static S localTimeWithSeconds(long time) {
  ret simpleDateFormat_local("HH:mm:ss").format(time);
}

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