var plugin = gPlugins[aName]; 
var plugin = gPlugins[aName][aDesc]; 
function togglePluginDisabled(aName){  var plugin = gPlugins[aName];  plugin.disabled = !plugin.disabled;  for (var i = 0; i < plugin.plugins.length; ++i)    plugin.plugins[i].disabled = plugin.disabled;  var rdf = Components.classes["@mozilla.org/rdf/rdf-service;1"]                      .getService(Components.interfaces.nsIRDFService);  gPluginsDS.Change(rdf.GetResource(PREFIX_ITEM_URI + plugin.filename),                    rdf.GetResource(PREFIX_NS_EM + "isDisabled"),                    rdf.GetLiteral(plugin.disabled ? "false" : "true"),                    rdf.GetLiteral(plugin.disabled ? "true" : "false"));  gExtensionsViewController.onCommandUpdate();  gExtensionsView.selectedItem.focus();}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/4117ae00707506b73e7465a0d357a4f0b34cf240/extensions.js/clean/toolkit/mozapps/extensions/content/extensions.js