I\'m trying to write a dos batch file (on a Windows 10 machine) to do many things.
Part of what I need to do is open a file, and obtain a number from a certain line.