context: function setMenuCheck (id, state){    var m = document.getElementById(id);        m.setAttribute ("checked", String(Boolean(state)));}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/1c483d887f871d1e9d9c73b22a4f216f9dbcfabc/static.js/clean/extensions/irc/xul/content/static.js