Are Boxing Ring Ropes Measured by the Length? A Ringside View