do 'all.pl';