string ReadLine(string fileName, int lineNum) { string[] t = Globs.ReadAllLines(fileName); return(t[lineNum - 1]); }