rem: dump("Failed to set the page title in history\n"); 
add: dump("failed to set the page title.\n"); 
context: function UpdateHistory(event){	if( window.content.location.href )	{		try		{			var history = getService( "component://netscape/browser/global-history", "nsIGlobalHistory" );			if (history) history.SetPageTitle(window.content.location.href, window.content.document.title);		}		catch (ex)		{			dump("Failed to set the page title in history\n");		}	}}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/d33ff9401cec7976caa7d73cbc585e4527080d70/navigator.js/clean/xpfe/browser/resources/content/navigator.js