updateCommand: function (command) 
updateCommand: function (command) 
  updateCommand: function (command)   {    if (this.isCommandEnabled(command.id))      command.removeAttribute("disabled");    else      command.setAttribute("disabled", "true");  },
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/dd0789ea577a496e2622a164a469a9cb1bcf058d/extensions.js/buggy/toolkit/mozapps/extensions/content/extensions.js