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