Code Editor : double_characters_remove.js