rem: RefreshUrlbar(); 
add: RefreshUrlbar(); 
context:   function OpenBookmarkURL(node)  {    if (node.getAttribute('type') !=        "http://home.netscape.com/NC-rdf#Bookmark") {      return false;    }    url = node.getAttribute('id');    // Ignore "NC:" urls.    if (url.substring(0, 3) == "NC:") {      return false;    }    window.frames[0].frames[1].location.href = url;	RefreshUrlbar();  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/450c796d9167487c5c0f179ba1aa559861a93bf2/navigator.js/clean/xpfe/browser/src/navigator.js