Code Editor : editstddet.js