var referrerURI = aDocument ? aDocument.documentURIObject : null; 
var referrerURI = aDocument ? aDocument.documentURIObject : aReferrer; 
function openNewTabWith(aURL, aDocument, aPostData, aEvent,                        aAllowThirdPartyFixup){  if (aDocument)    urlSecurityCheck(aURL, aDocument.nodePrincipal);  var prefSvc = Components.classes["@mozilla.org/preferences-service;1"]                          .getService(Components.interfaces.nsIPrefService);  prefSvc = prefSvc.getBranch(null);  // should we open it in a new tab?  var loadInBackground = true;  try {    loadInBackground = prefSvc.getBoolPref("browser.tabs.loadInBackground");  }  catch(ex) {  }  if (aEvent && aEvent.shiftKey)    loadInBackground = !loadInBackground;  // As in openNewWindowWith(), we want to pass the charset of the  // current document over to a new tab.   var wintype = document.documentElement.getAttribute("windowtype");  var originCharset;  if (wintype == "navigator:browser")    originCharset = window.content.document.characterSet;  // open link in new tab  var referrerURI = aDocument ? aDocument.documentURIObject : null;  var browser = top.document.getElementById("content");  browser.loadOneTab(aURL, referrerURI, originCharset, aPostData,                     loadInBackground, aAllowThirdPartyFixup || false);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/dead8a5cf8861ac7e26a1a10a3ab598bbeb53c4b/utilityOverlay.js/buggy/browser/base/content/utilityOverlay.js