if(_config.timeout) clearTimeout(_config.timeout); _config.blocking = false; process(); 
 setTimeout(function(){ if(_config.timeout) clearTimeout(_config.timeout); _config.blocking = false; process(); }, 13); 
function start() {	if(_config.timeout)		clearTimeout(_config.timeout);	_config.blocking = false;	process();}
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/2ef4093cf7f52383dd43bd361864edcda27e5c3c/testrunner.js/clean/build/test/data/testrunner.js