3137 mm = 10 feet and 3.5 inches