Code Editor : manipulation.js