_replaceInsert: function ( text, index, value ) 
_replaceInsert: function ( text, index, value ) 
  _replaceInsert: function ( text, index, value )   {    return text.replace("#"+index, value);  },
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/dd0789ea577a496e2622a164a469a9cb1bcf058d/extensions.js/buggy/toolkit/mozapps/extensions/content/extensions.js