getElementForAddon: function(aAddon) 
getElementForAddon: function(aAddon) 
  getElementForAddon: function(aAddon)   {    var element = document.getElementById(PREFIX_ITEM_URI + aAddon.id);    if (aAddon.id == aAddon.xpiURL)      element = document.getElementById(aAddon.xpiURL);    return element;  },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/79d7684915e26086e9a0d43a9228017a3c9e2689/extensions.js/clean/toolkit/mozapps/extensions/content/extensions.js