rem: function BrowserReallyReload(reloadType) {  var reloadBElem = document.getElementById("canReload"); if (!reloadBElem) return; 
add: function BrowserReallyReload(reloadType) {  var reloadBElem = document.getElementById("canReload"); if (!reloadBElem) { dump("Couldn't obtain handle to reload Broadcast element\n"); return; } 
context: function BrowserReallyReload(reloadType) {  // Get a handle to the "canReload" broadcast id  var reloadBElem = document.getElementById("canReload");  if (!reloadBElem)    return;  var canreload = reloadBElem.getAttribute("disabled");  // If the reload button is currently disabled, just return  if ( canreload)    return;  //Call in to BrowserAppcore to reload the current loading  if (appCore != null)    appCore.reload(reloadType);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/1e1ba37fe43340db5f075581a53c8d4d6987ce7f/navigator.js/clean/suite/browser/navigator.js