if (aURI.substring(0, PREFIX_ITEM_URI.length) == PREFIX_ITEM_URI) 
if (aURI.substring(0, PREFIX_ITEM_URI.length) == PREFIX_ITEM_URI) 
function getIDFromResourceURI(aURI) {  if (aURI.substring(0, PREFIX_ITEM_URI.length) == PREFIX_ITEM_URI)     return aURI.substring(PREFIX_ITEM_URI.length);  return aURI;}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/dd0789ea577a496e2622a164a469a9cb1bcf058d/extensions.js/buggy/toolkit/mozapps/extensions/content/extensions.js