var fixedUpURI = gURIFixup.createFixupURI(aUrlToAdd, 0); gGlobalHistory.markPageAsTyped(fixedUpURI); 
PlacesUtils.markPageAsTyped(aUrlToAdd); 
function addToUrlbarHistory(aUrlToAdd){  if (!aUrlToAdd)     return;  if (aUrlToAdd.search(/[\x00-\x1F]/) != -1) // don't store bad URLs     return;  if (!gGlobalHistory)    gGlobalHistory = Components.classes["@mozilla.org/browser/global-history;2"]                               .getService(Components.interfaces.nsIBrowserHistory);  if (!gURIFixup)    gURIFixup = Components.classes["@mozilla.org/docshell/urifixup;1"]                          .getService(Components.interfaces.nsIURIFixup);   try {     if (aUrlToAdd.indexOf(" ") == -1) {       var fixedUpURI = gURIFixup.createFixupURI(aUrlToAdd, 0);       gGlobalHistory.markPageAsTyped(fixedUpURI);     }   }   catch(ex) {   }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/56a7600b18f8a74346e0105f02c660a39c2a9f52/browser.js/buggy/browser/base/content/browser.js