import java.text.SimpleDateFormat;

static S hmsWithColonsAndMS() {
  ret hmsWithColons(now());
}

static S hmsWithColonsAndMS(long time) {
  ret new SimpleDateFormat("HH:mm:ss:SSSS").format(time);
}