function openNewWindowWith(aURL, aDocument, aPostData, aAllowThirdPartyFixup) 
function openNewWindowWith(aURL, aDocument, aPostData, aAllowThirdPartyFixup, aReferrer) 
function openNewWindowWith(aURL, aDocument, aPostData, aAllowThirdPartyFixup){  if (aDocument)    urlSecurityCheck(aURL, aDocument.nodePrincipal);  // if and only if the current window is a browser window and it has a  // document with a character set, then extract the current charset menu  // setting from the current document and use it to initialize the new browser  // window...  var charsetArg = null;  var wintype = document.documentElement.getAttribute("windowtype");  if (wintype == "navigator:browser")    charsetArg = "charset=" + window.content.document.characterSet;  var referrerURI = aDocument ? aDocument.documentURIObject : null;  window.openDialog(getBrowserURL(), "_blank", "chrome,all,dialog=no",                    aURL, charsetArg, referrerURI, aPostData,                    aAllowThirdPartyFixup);}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/dead8a5cf8861ac7e26a1a10a3ab598bbeb53c4b/utilityOverlay.js/clean/browser/base/content/utilityOverlay.js