Code Editor : freeze_marks.js