toJSON(len(list))
