Кодировка текста

using System;
using System.Collections.Generic;
using System.ComponentModel;
using System.Data;
using System.Drawing;
using System.IO;
using System.Linq;
using System.Text;
using System.Text.RegularExpressions;
using System.Threading.Tasks;
using System.Windows.Forms;
 
namespace WindowsFormsApp2
{
    public partial class Form1 : Form
    {
        public Form1()
        {
            InitializeComponent();
        }
 
        private List<string> a = new List<string>();
 
        public object PathArcTextBox { get; private set; }
 
        private void button3_Click(object sender, EventArgs e)
        {
            //FolderBrowserDialog FBD = new FolderBrowserDialog();
            //FBD.ShowNewFolderButton = false;
            //if (FBD.ShowDialog() == DialogResult.OK)
           // {
              //  MessageBox.Show(FBD.SelectedPath);
                
            //}
            
            DirectoryInfo dir = new DirectoryInfo(@"C:\Users\Desktop\1");
             Directory.GetFiles(dir.ToString(), "*.mov", SearchOption.AllDirectories).ToList().ForEach(f => listBox1.Items.Add(f));
            Directory.GetFiles(dir.ToString(), "*.mov", SearchOption.AllDirectories).ToList().ForEach(f => a.Add(f));
 
        }
 
        private void button1_Click(object sender, EventArgs e)
        {
 
            bool hasChanges = false;
 
            for (int i = 0; i < a.Count; i++)
            {
                string[] allines = File.ReadAllLines(a[i]);
 
                for (int j = 0; j < allines.Length; j++)
                {
 
                    if (!allines[j].StartsWith("20;")) continue;
                    var lineparts = allines[j].Split(';');
                    if (lineparts[1] == "" ){ lineparts[1] = "0" ;}
                    if (lineparts[6] == "") { lineparts[6] = "0"; }
                    if (lineparts[8] == "") { lineparts[8] = "0"; }
                    
                        // (lineparts[6] != null) continue;
                        //if (lineparts[8] != null) continue;
                        lineparts[1] = (int.Parse(lineparts[1]) + int.Parse(lineparts[6]) + int.Parse(lineparts[8])).ToString();
                    
                  
                    allines[j] = string.Join(";", lineparts);
                    hasChanges = true;
                }
                if (hasChanges) File.WriteAllLines(a[i], allines, Encoding.UTF8);
 
            }
            MessageBox.Show("end");
 
        }
 
 
        private void listBox1_SelectedIndexChanged(object sender, EventArgs e)
        {
 
        }
 
    }
}

File.ReadAllLines(a[i], Encoding.UTF8);

File.ReadAllLines(a[i], Encoding.Default);