rem: printfire("Divmod log: " + evt.message); 
add: console.log("Divmod log: " + evt.message); 
context: Divmod.logger.addObserver(function (evt) {    printfire("Divmod log: " + evt.message);});
meta: 1565	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1565/7d6520d1a529f2e0ae1a4a86d0887ed316d4bfb8/divmod.js/clean/nevow/divmod.js