/^\d+(\.\d+)?\.txt$/