Code Editor : batch_setup.js