static string Quote(string s) { if (s.IndexOf ('"') != -1) s = s.Replace ("\"", "\\\""); return "\"" + s + "\""; }