function Microsummary(pageURI, generatorURI) { 
function Microsummary(pageURI, generator) { 
function Microsummary(pageURI, generatorURI) {  this._observers = [];  this.pageURI = pageURI;  this.generatorURI = generatorURI;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/457d6eea62d11cdb547c0728db208b997757d508/nsMicrosummaryService.js/clean/browser/components/microsummaries/src/nsMicrosummaryService.js