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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/476240ad2fa7189b1d0aee6b8012c708e3dfda96/navigator.js/buggy/suite/browser/navigator.js