context: 	Array.prototype.push = function array_push() {		for(var i=0;i<arguments.length;i++)			this[this.length]=arguments[i];		return this.length;	}
meta: 7178	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7178/181338c4c607480561744d40eec48e55fc178bb0/dtree.js/clean/squirrelmail/templates/default_advanced/js/dtree.js