import java.text.*;

static S dateWithSecondsForFile() {
  ret new SimpleDateFormat("yyyy-MM-dd_HHmmss").format(now());
}