context: function SetMenuItemLabel(menuItemId, customLabel){    var menuItem = document.getElementById(menuItemId);    if(menuItem)        menuItem.setAttribute('label', customLabel);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/dc2b93a5d1858d91a03ac7e14877ff9787d1d060/mailWindowOverlay.js/clean/mail/base/content/mailWindowOverlay.js