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: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/98755cac0604e81cca4eec718d6a388b276bb19e/msgHdrViewOverlay.js/buggy/mailnews/base/resources/content/msgHdrViewOverlay.js