animation(l,id); checkevent(id); checkInput(); 
animation(l,id); checkevent(id); checkInput(); 
function highlightLine(l,id) {	animation(l,id);		checkevent(id);	checkInput();}
6726	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6726/b269595ef4f56f726ad7ba3282995f4e612e7646/manager.js/clean/templates/default/manager.js