add: var helpdoc; 
context: function doHelpButton() {  var tabControl = document.getElementById("tabbox");  switch (tabControl.selectedTab.id) {    case "generalTab":      helpdoc = "pageinfo_general";      break;    case "formsTab":      helpdoc = "pageinfo_forms";      break;    case "linksTab":      helpdoc = "pageinfo_links";      break;    case "mediaTab":      helpdoc = "pageinfo_media";      break;    case "securityTab":      helpdoc = "pageinfo_security";      break;    case "p3pTab":      helpdoc = "pageinfo_privacy";      break;    default:      helpdoc = "pageinfo_general";      break;  }  openHelp(helpdoc);  }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/a32deaaa0c48e0a4f9d913deba3c11be6f38ac98/pageInfo.js/clean/browser/base/content/pageInfo.js