const file13 = require("./file13.js")

module.exports = function () {
    file13()
}