if (id == "metaTags") 
if (elt.flex) { elt.flexWhenOpened = elt.flex; 
function toggleGroupbox(id){  var elt = document.getElementById(id);  if (elt.hasAttribute("closed")) {    elt.removeAttribute("closed");    if (id == "metaTags")      elt.flex = 1;  }  else {    elt.setAttribute("closed", "true");    if (id == "metaTags")      elt.flex = 0;  }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/4d7cea8def73a29771b679dda78eef944e7d357f/pageInfo.js/buggy/browser/base/content/pageinfo/pageInfo.js