private string ReadResponse(Stream s)
{
var res = new List<byte>();
do {
int b = s.ReadByte();
if (b>=0) res.Add((byte)b);
else {
return null;
}
} while (
res.Count<4 ||
res[res.Count-4]!='\r' ||
res[res.Count-3]!='\n' ||
res[res.Count-2]!='\r' ||
res[res.Count-1]!='\n');
return System.Text.Encoding.UTF8.GetString(res.ToArray());
}