File.ReadLine is taking second argument for Encoding Type.
So your code must be -
string[] body = File.ReadLines(x,Encoding.ASCII).Skip(z).Take(c).ToArray();
But if you want to read special characters then -
string[] body = File.ReadLines(x,Encoding.UTF8).Skip(z).Take(c).ToArray();
Hope this will help you...