asn               1277  asn.descr
asn              33962  asn.old
asn              32903  asn.pl
asn               1862  asn.pre
asn               4866  io.pl
asn               3567  useful.pl