do 'test12.pl';