学校操场一圈的长度是多