import java.text.SimpleDateFormat; static S hmsWithColonsAndMS() { ret hmsWithColonsAndMS(now()); } static S hmsWithColonsAndMS(long time) { ret simpleDateFormat_local("HH:mm:ss:SSS").format(time); }