$a = "$a.pl";