function push(s) {
var i;
+ // window.parent.console.log('push('+s+');');
for (i = last_clean ; i < script_clean ; i++) {
if (typeof($('hs'+i)) != 'undefined' && $('hs'+i) != null) {
document.body.removeChild($('hs'+i));
if (s != null) {
ctx_new = ctx_new + "@BEGIN@" + s + "@END@";
// FIXME: remove this barbarian log
- window.parent.console.log("ifra: CTX_NEW: ["+ctx_new+"]");
+ // window.parent.console.log("ifra: CTX_NEW: ["+ctx_new+"]");
}
else {