TECH.File.FileExtension TECH.String "bat.txt" 1