rem: if(!m_prefs.getBoolPref('extensions.torbutton.kill_bad_js')) return; 
context: function hookDoc(win, doc) {    torbutton_log(1, "Hooking document");    if (!m_wasinited) {        torbutton_init();    }    if(!m_prefs.getBoolPref('extensions.torbutton.kill_bad_js'))        return;    if(typeof(win.__tb_did_hook) != 'undefined')        return; // Ran already    win.__tb_did_hook = true;    var str = "<"+"script>";    str += m_jshooks; // XXX: dne//    str +="alert(\"hi\");";    str += "</"+"script>";    var d = doc.createElement("div");    d.style.visibility = 'hidden';    d.innerHTML = str;    getBody(doc).insertBefore(d, getBody(doc).firstChild);}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/0b6b81fd07ee0b417fedeacbf38c0832ce0b6667/torbutton.js/clean/src/chrome/content/torbutton.js