function mng_delrule (name) 
function mng_delrule(name) 
function mng_delrule (name){    delete this.entries[name];}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/dcccd17e701deb92f8922859871074c0118150f2/munger.js/clean/extensions/irc/xul/lib/munger.js