Rename ex7_1.pl to ex10_1.pl