add: var saveFrameItem = document.getElementById("savepage"); 
context: function contentAreaFrameFocus(){  var saveFrameItem = document.getElementById("savepage");  var focusedWindow = document.commandDispatcher.focusedWindow;  if (isDocumentFrame(focusedWindow)) {    gFocusedURL = focusedWindow.location.href;    saveFrameItem.removeAttribute("hidden");  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/fbf522f0101d528fad9181fff4f7d75b482dd8d2/navigator.js/buggy/xpfe/browser/resources/content/navigator.js