Code Editor : regexdbfilter.js