add: gFocusedDocument = focusedWindow.document; 
context: function contentAreaFrameFocus(){  var focusedWindow = document.commandDispatcher.focusedWindow;  if (isDocumentFrame(focusedWindow)) {    gFocusedURL = focusedWindow.location.href;  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/46226cd48375bccbe4dbd55a24d06da4bf77badf/navigator.js/clean/suite/browser/navigator.js