4 // FIXME: remove this barbarian log
5 window.parent.console.log("ctx_new.length: "+ctx_new.length+" ctx_old_len: "+ctx_old_len);
6 if (ctx_new.length == ctx_old_len && ctx_old_len > 0) {
7 // FIXME: remove this barbarian log
8 window.parent.console.log("NOW clean");
13 ctx_new += "@BEGIN@"+s+"@END@";