added C# Json.Encode