context: dojo.lang.clearTimeout = function(/*int*/timer){	// summary: clears timer by number from the execution queue	dojo.global().clearTimeout(timer);}
meta: 4707	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4707/50c3492c4c3c825dbd3401e134a19ed46799c456/dojo.js.uncompressed.js/buggy/www/resources/dojo-ajax/dojo.js.uncompressed.js