Create 12144.jl