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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/bfd0079f1c8ce287a129da6c556a3cf0571d9c18/navigator.js/buggy/suite/browser/navigator.js