public string onCheckResult(params dynamic[] o)
{
Contract.Requires(o != null);
Contract.Requires(o.Length > 0);
string jsonStr = o[0];
System.Diagnostics.Trace.WriteLine("onCheckResult: " + jsonStr);
dynamic json = JObject.Parse(jsonStr);
sidebar.FireChecked(json.checkedPart.checkId.Value, new Range((int)json.checkedPart.range[0].Value, (int)json.checkedPart.range[1].Value));
return "{}";
}