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

file12()