/^[_a-zA-Z][^.]{1,7}\.txt$/

##</code><code>##

while(<READFILE>) { 
  # something here  
}