this.reports = []; 
this.reports = []; 
function Manager () {    this.reports = [];}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/d344e75c45fbc503af4360badf0851ccb55581f1/proto_10.js/buggy/js/tests/js1_3/inherit/proto_10.js