rem: if (gURLBar.value != gLastValidURL) SetPageProxyState("invalid"); 
add: if (gURLBar.value != gLastValidURLStr) SetPageProxyState("invalid", null); 
context: function UpdatePageProxyState(){  if (gURLBar.value != gLastValidURL)    SetPageProxyState("invalid");}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/6b0e0d0ad9d3a972ccd11137e3def6c16f34fcaf/navigator.js/buggy/suite/browser/navigator.js