toJSON(list[i64])
