rem: gNavigated++; 
context: function getContentAreaFrameCount(){  gNavigated++;  var saveFrameItem = document.getElementById("savepage");  if (!window._content.frames.length ||      !isDocumentFrame(document.commandDispatcher.focusedWindow))    saveFrameItem.setAttribute("hidden", "true");  else     saveFrameItem.removeAttribute("hidden");}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/9c925e6e4d84c439b827cd05df6f21238fc73427/navigator.js/buggy/xpfe/browser/resources/content/navigator.js