context: function IsMenuItemShowing(menuID){  var item = document.getElementById(menuID);  if (item)    return item.hidden != "true";  return false;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/15932e18e6f396a0b6794247b962c9df0a535940/mailContextMenus.js/buggy/mail/base/content/mailContextMenus.js