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