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: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/22c8f791ea0e6cb10be316f8474da2d64629512b/navigator.js/clean/suite/browser/navigator.js