> ./t7.pl < t7.pl
4