static string GetScriptStringLiteral (string value) { string s = value; s = s.Replace ("\\", "\\\\"); s = s.Replace ("\"", "\\\""); return "\"" + s + "\""; }