this.timer = window.setInterval(dojo.lang.hitch(this, "onTick"), this.interval); 
this.timer = window.setInterval(dojo.hitch(this, "onTick"), this.interval); 
	setInterval : function(interval){		// summary: Reset the interval of a timer, whether running or not.		// interval: New interval, in milliseconds.		if (this.isRunning){			window.clearInterval(this.timer);		}		this.interval = interval;		if (this.isRunning){			this.timer = window.setInterval(dojo.lang.hitch(this, "onTick"), this.interval);		}	},
5168	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5168/578e73272c42181b1dcf36c11cc77ad04dea91f5/_base.js/clean/timing/_base.js