rem: {  document.getElementById('urlbar').value = window.content.location.href; } 
add: {  document.getElementById('urlbar').value = window.content.location.href; } 
context:   function RefreshUrlbar()  {   //Refresh the urlbar bar    document.getElementById('urlbar').value = window.content.location.href;  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/504dbe197757dfd7174946e37fd3dbb61e55759e/navigator.js/buggy/suite/browser/navigator.js