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