rem: dump( "Sorry, command not implemented: " + window.event.srcElement + "\n" ); 
add: dump( "Sorry, command not implemented.\n" ); 
context: function BrowserReload() {    dump( "Sorry, command not implemented: " + window.event.srcElement + "\n" );}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/4fa5d6db2587a8142a100865193c3036e44b68da/navigator.js/buggy/xpfe/browser/resources/content/navigator.js