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