Code Editor : catch_filter.js