var uri = target.getAttribute("uri"); if (uri) { window.content.open(uri, "", target.getAttribute("features")); } 
if (!("popup" in target)) return; var popup = target.popup; var reqWin = popup.reqWin; if (reqWin.document == popup.reqDoc) reqWin.open(popup.url.spec, popup.name, popup.features); 
function popupBlockerMenuCommand(target) {  var uri = target.getAttribute("uri");  if (uri) {    window.content.open(uri, "", target.getAttribute("features"));  }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/e144bb8fb7f5ff5802d29b37368baa096183f26f/navigator.js/buggy/suite/browser/navigator.js