add: return state; 
context: function setMenuCheck (id, state){    var m = document.getElementById(id);        m.setAttribute ("checked", String(Boolean(state)));}
meta: 1567	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1567/34b013589b29a686cc1a854c9e410aa3d16a70ac/static.js/buggy/xul/content/static.js