context: function HideMessageHeaderPane(){  var node = document.getElementById("headerPart1");  if (node)    node.setAttribute("hide", "true");  node = document.getElementById("headerPart2");  if (node)    node.setAttribute("hide", "true");  node = document.getElementById("headerPart3");  if (node)    node.setAttribute("hide", "true");}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/7b9be6ae50dd1399af78f3d125f983c2e4040348/msgHdrViewOverlay.js/clean/mailnews/base/resources/content/msgHdrViewOverlay.js