public void WriteLine(string line)
 {
     line += "\r\n";
     file.WriteChars(line.ToCharArray());
 }