import SecFromTime = require("../2023/SecFromTime");
export = SecFromTime;