Code Editor : batch_close.js