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: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/362103c7d399ff64883b7e6dadc7c07cfb693081/navigator.js/buggy/xpfe/browser/resources/content/navigator.js